Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Stefan Bodenmüller
Latest
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems
Adding Concurrency to a Sequential Refinement Tower
Cite
×