Pekka Pihlajasaari


AuthID: R-00H-DNW

Publications Awaiting Confirmation

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
INDEXED IN: DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service