Login / Signup

The Verification Grand Challenge.

Jim WoodcockRichard Banach
Published in: J. Univers. Comput. Sci. (2007)
Keyphrases