Home > Authors > Wolfgang Ahrendt > Integrated Formal Methods
Integrated Formal Methods
Recent activity
Rate this book to see your activity here.
4 Books Similar to Integrated Formal Methods by Wolfgang Ahrendt
Bookscovery readers who liked Integrated Formal Methods also like
Deductive Software Verification : Future Perspectives, Deductive Software Verification - the KeY Book and Logic of Software. a Tasting Menu of Formal Methods.
How many of these have you read?
Comments and reviews of Integrated Formal Methods
Please sign in to leave a comment