Pekka Pihlajasaari
AuthID: R-00H-DNW
1
TITLE: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
AUTHORS: Cliff B Jones; Pekka Pihlajasaari; Jun Sun;
PUBLISHED: 2014, SOURCE: FM, VOLUME: 8442
AUTHORS: Cliff B Jones; Pekka Pihlajasaari; Jun Sun;
PUBLISHED: 2014, SOURCE: FM, VOLUME: 8442
INDEXED IN: DBLP