By the same authors

Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2013
Number of pages292
Original languageUndefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations