Login / Signup

A Theory pf Orwellian Specifications with NewThink.

Paul MukherjeeVictoria Stavridou
Published in: Formal Aspects Comput. (1995)
Keyphrases