Search results for: Jacques Julliand
Formal Aspects of Computing > 2018 > 30 > 6 > 629-657
Science of Computer Programming > 2016 > 132 > P2 > 190-208
Lecture Notes in Computer Science > Tests and Proofs > Test Generation Using Proof Techniques > 94-100
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 273-292
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 436-457
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Theory and Applications > 266-283
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 408-420
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Regular Papers > 225-239
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Embedded Systems > 116-135
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > ABZ Short Papers (Abstracts) > 408-408
Lecture Notes in Computer Science > Tests and Proofs > Abstraction > 151-166
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 3. B Papers > 139-152
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 477-496
Lecture Notes in Computer Science > Integrated Formal Methods > Verification and Validation > 398-419
Lecture Notes in Computer Science