Jim Woodcock (editor)

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... (Lecture Notes in Computer Science, 3167)

2006 · ENGLISH · PDF

View details →

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

1999 · ENGLISH · PDF

View details →

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science, 4700)

2007 · ENGLISH · PDF

View details →

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in Computer Science, 4710)

2007 · ENGLISH · PDF

View details →