Go to:
Logótipo
Você está em: Start > Publications > View > FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Map of Premises
Principal
Publication

FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Title
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Type
International Conference Proceedings Book
Year
2014
Other information
Language: English
Type (Professor's evaluation): Scientific
ISBN: 978-3-319-06409-3
Collection: Lecture Notes in Computer Science
Vol.: 8442
Documents
We could not find any documents associated to the publication.
Publications included
Validity Checking of Putback Transformations in Bidirectional ProgrammingImported from Authenticus
Article in International Conference Proceedings Book
Hu, Z (Author) (Other); Pacheco, H (Author) (Other); Fischer, S (Author) (Other)
2014
Validity checking of putback transformations in bidirectional programmingImported from Authenticus
Article in International Conference Proceedings Book
Hu, Z (Author) (Other); Pacheco, H (Author) (Other); Fischer, S (Author) (Other)
2014
Indexing
Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-15 at 11:35:14 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book