Books · Search
Fundamental Approaches to Software Engineering
2009
System design · System analysis
Tools and Algorithms for the Construction and Analysis of Systems
2016
Computer programs
Verified Software. Theories, Tools, and Experiments
Formal Methods
2023
CONCUR 2008 - Concurrency Theory
2008
Concur 2008 - Concurrency Theory
Logic design · Computer science
Fundamental Approaches To Software Engineering 12th International Conference Proceedings