Login / Signup

A Formal Method for the Abstract Specification of Software.

John McLean
Published in: J. ACM (1984)
Keyphrases