Composing object-oriented specifications and verifications with cTLA (1999)

Cached

Download Links

by Günter Graw , Peter Herrmann , Heiko Krumm
Venue:IN WORKSHOP ON SEMANTICS OF OBJECTS AS PROCESSES (SOAP'99), BRICS NOTES SERIES NS-99-2
Citations:3 - 2 self