Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Kristin Rutenkolk
Latest
Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems
Cite
×