Login / Signup

Axiomatizing Specification Theory.

T. S. E. MaibaumM. R. Sadler
Published in: ADT (1984)
Keyphrases