Login / Signup

Modular reasoning in Object-Z.

Alena Griffiths
Published in: APSEC (1997)
Keyphrases