Dennis Dams

Identifiers

Open LibraryOL7208104A

Top Subjects

Computer science (1)
Computer software (1)
Logic design (1)
Software engineering (1)

Books by Dennis Dams

Total count: 3

Theoretical and Practical Aspects of SPIN Model Checking5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

Springer London, Limited2003-01-01
FM 2009 : Formal MethodsSecond World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

Springer London, Limited2009-01-01
Concurrency, Compositionality, and CorrectnessEssays in Honor of Willem-Paul de Roever

Springer Berlin Heidelberg2010-01-01