Open Access 02.01.2019 | Original Article
Automating Event-B invariant proofs by rippling and proof patching
Erschienen in: Formal Aspects of Computing | Ausgabe 1/2019
Open Access 02.01.2019 | Original Article
Erschienen in: Formal Aspects of Computing | Ausgabe 1/2019