Search results for: Bertrand Meyer
Software Testing, Verification and Reliability > 33 > 7 > n/a - n/a
SN Computer Science > 2020 > 1 > 1 > 1-15
Terra Nova > 29 > 2 > 91 - 97
Science of Computer Programming > 2017 > 133 > P2 > 194-215
Lecture Notes in Computer Science > ECOOP 2010 – Object-Oriented Programming > Formal Methods > 151-174
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Invited Contributions > 11-11
Lecture Notes in Computer Science > ESEC '87 > 221-229
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Formal Techniques > 301-307
Lecture Notes in Computer Science > Architecting Systems with Trustworthy Components > Invited Articles > 48-70
Lecture Notes in Computer Science > Testing – Practice and Research Techniques > Keynote Addresses > 1-4
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > Architectures, Design and Interfaces > 105-118