Verifying process algebra proofs in type theory (1993)

Cached

Download Links

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