41 citations · 41 across the 1 of their papers we have counts for
1 paper
Christoph Baumann, Bernhard Beckert, Holger Blasum +1
Software verification tools have become a lot more powerful in recent years. Even verification of large, complex systems is feasible, as demonstrated in the L4.verified and Verisof…