Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Jacques Julliand
Latest
B Model Abstraction Combining Syntactic and Semantic Methods
Generating Tests from B Specifications and Test Purposes
Cite
×