• A strategy for efficiently ver...

Treffer: A strategy for efficiently verifying requirements

Title:
A strategy for efficiently verifying requirements
Authors:
Jeffords, Ralph D., Heitmeyer, Constance L.
Source:
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering. :28-37
Availability:
http://dl.acm.org/doi/10.1145/940071.940077
Database:
ACM Full-Text Collection