Search results for: Bruno Legeard
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 4 > 425-448
Lecture Notes in Computer Science > FME 2003: Formal Methods > Program Checking and Testing > 778-795
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 > Programming Language Implementation and Logic Programming > 431-433
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Presentations > 551-556
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 188-204
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 70-85
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 309-329
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Tool Papers > 277-280
Journal of Signal Processing Systems > 2016 > 83 > 1 > 113-128