Dennis Dams
2 published titles
Theoretical and practical aspects of SPIN model checking : 5th and 6th international SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
(Contributor)
1 edition
- ISBN: 3540664998
- Springer
- 1999
- Details
FM 2009 : formal methods
(Contributor)
1 edition
- ISBN: 9783642050886
- Springer
- 2009
- Details
