Marsha Chechik

• Fundamental Approaches to Software Engineering
• Fundamental Approaches To Software Engineering 12th International Conference Proceedings
• Tools and Algorithms for the Construction and Analysis of Systems
• CONCUR 2008 - Concurrency Theory
• Formal Methods
• Verified Software. Theories, Tools, and Experiments