A generic theorem prover of CSP refinement (2005)

Cached

Download Links

by Yoshinao Isobe , Markus Roggenbach
Venue:In TACAS 2005, LNCS 3440
Citations:17 - 11 self