Search results for: Antónia Lopes
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 494-513
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 367-380
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 426-440
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Contributed Papers > 144-160
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Modelling in Service-Oriented Architectures > 61-114
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 8. Components > 358-373
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification > 18-33
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 293-307
Lecture Notes in Computer Science > Data Warehousing and Knowledge Discovery > ETL Methodologies and Tools > 136-151
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 37-55