Abstract model checking of infinite specifications (1994)

Cached

Download Links

by Daniel Jackson
Venue:In Proceedings of Formal Methods Europe
Citations:15 - 2 self