Formal Verification of Software: Bernhard BeckertDocumentFormal Verification of Software: Bernhard BeckertAdded by Mohamed Hafiz Ramli0 ratings0% found this document usefulSave Formal Verification of Software: Bernhard Beckert for later