The KEY Approach: Integrating Object Oriented Design and Formal Verification (2000)

by Wolfgang Ahrendt , Thomas Baar , Bernhard Beckert , Martin Giese , Elmar Habermalz , Reiner Hähnle , Wolfram Menzel , Peter H. Schmitt
Citations:44 - 18 self