DMCA

A generic theorem prover of CSP refinement (2005)

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