Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Publications Requiring Validation

1
TITLE: On Quantitative Solution Iteration in QAlloy
AUTHORS: Pedro Silva; Nuno Macedo; José N Oliveira;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Rigorous State-Based Methods
INDEXED IN: CrossRef
IN MY: ORCID

footer slogan

Useful Links

Get Help

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