Structured Specifications and Interactive Proofs with KIV (1998)

by Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel , Michael Balser
Citations:26 - 22 self