Verifying SCR Requirements Specifications Using State Exploration (1997)

by Ramesh Bharadwaj , Constance Heitmeyer
Venue:In Proceedings of First ACM SIGPLAN Workshop on Automatic Analysis of Software
Citations:28 - 7 self