Login / Signup

: An Interactive Theorem Prover for Algebraic Specifications.

Robert GeislerMarcus KlarFelix Cornelius
Published in: AMAST (1996)
Keyphrases