Login / Signup

Improving the Usability of Specification Languages and Methods for Annotation-Based Verification.

Bernhard BeckertThorsten BormerVladimir Klebanov
Published in: FMCO (2010)
Keyphrases