Wyniki wyszukiwania dla: Antónia Lopes
Theoretical Computer Science > 2017 > 663 > C > 1-33
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 494-513
Science of Computer Programming > 2016 > 127 > C > 50-75
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