Search results for: Jean-Paul Bodeveix
Frontiers of Computer Science > 2019 > 13 > 4 > 715-734
Acta Informatica > 2018 > 55 > 5 > 363-400
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 105-119
Lecture Notes in Computer Science > Deontic Logic and Artificial Normative Systems > Contributed Papers > 85-100
Lecture Notes in Computer Science > Integrated Formal Methods > Session: Applications of B > 187-206
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 350-369
Lecture Notes in Business Information Processing > Enterprise, Business-Process and Information Systems Modeling > Business Process Modeling and Support Systems Development > 261-275
Science of Computer Programming > 2015 > 106 > Complete > 30-53
The Journal of Systems & Software > 2014 > 93 > Complete > 42-68
Frontiers of Computer Science > 2013 > 7 > 5 > 673-693
Electronic Notes in Theoretical Computer Science > 2011 > 280 > Complete > 23-33
Electronic Notes in Theoretical Computer Science > 2007 > 185 > Complete > 17-32
Electronic Notes in Theoretical Computer Science > 2005 > 141 > 3 > 153-169