Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Christoph Beierle
Latest
Abstract State Machines with Exact Real Arithmetic
A Verified AsmL Implementation of Belief Revision
Cite
×