Formal system development with KIV (2000)

Cached

Download Links

by Michael Balser , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel , Andreas Thums
Venue:FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, NUMBER 1783 IN LNCS
Citations:49 - 26 self