Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic.

Monica Nesi

Browse the full CAV paper archive.