Tobias Nipkow
AuthID: R-00H-6X8
1
TITLE: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
AUTHORS: Jayadev Misra; Tobias Nipkow; Emil Sekerinski;
PUBLISHED: 2006, SOURCE: FM, VOLUME: 4085
AUTHORS: Jayadev Misra; Tobias Nipkow; Emil Sekerinski;
PUBLISHED: 2006, SOURCE: FM, VOLUME: 4085
INDEXED IN: 
DBLP
DBLP