Verifying process algebra proofs in type theory (1993)

Cached

Download Links

by M. P. A. Sellink
Citations:17 - 1 self