Login / Signup

The mystery of formal methods disuse.

Robert L. Glass
Published in: Commun. ACM (2004)
Keyphrases