Tobias Nipkow
AuthID: R-00H-6X8
1
TÃTULO: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
AUTORES: Jayadev Misra; Tobias Nipkow; Emil Sekerinski;
PUBLICAÇÃO: 2006, FONTE: FM, VOLUME: 4085
AUTORES: Jayadev Misra; Tobias Nipkow; Emil Sekerinski;
PUBLICAÇÃO: 2006, FONTE: FM, VOLUME: 4085
INDEXADO EM: 
DBLP
DBLP