Search results for: Tom Maibaum
Lecture Notes in Computer Science > Foundations of Computer Software. Future Trends and Techniques for Development > 250-274
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Software Components > 37-51
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Specification and Composition > 173-193
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 293-295
Lecture Notes in Computer Science > ESEC '89 > 411-423
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Real-Time Systems > 737-756
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Other Topics > 438-458
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > In Memoriam Armando Martín Haeberer > 1-25
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 528-545