Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Confirmed Publications: 51



51
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 6 of 6. Total results: 51.

A place for researchers and their institutions

Useful Links

Get Help

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