Login / Signup

A Theoretical Basis for the Systematic Proof Method.

Wolfgang Bibel
Published in: MFCS (1980)
Keyphrases