DMCA

P.H.: The KeY tool, Integrating object oriented design and formal verification. Software and Systems Modeling 4 (2005)

Cached

Download Links

by Wolfgang Ahrendt , Thomas Baar , Bernhard Beckert , Wolfram Menzel , Peter H. Schmitt
Citations:12 - 3 self