Marsha ChechikBooksFundamental Approaches to Software EngineeringFormal MethodsFundamental Approaches To Software Engineering 12th International Conference ProceedingsCONCUR 2008 - Concurrency TheoryTools and Algorithms for the Construction and Analysis of SystemsVerified Software. Theories, Tools, and ExperimentsAuthor data: Open Library
