Predicate transformers for infinite-state automata in nuprl type theory (1999)

Cached

Download Links

by Mark Bickford , Jason Hickey
Venue:In Proceedings of 3 rd Irish Workshop in Formal Methods
Citations:8 - 3 self