Login / Signup

An empirical investigation of the effectiveness of systems modeling and verification tools.

Anand JeyarajVicki L. Sauter
Published in: Commun. ACM (2007)
Keyphrases