Automatic Analysis of Consistency between Implementations and Requirements (1995)

by Marsha Chechik , John Gannon
Venue:In Proceedings of 10th Annual Conference on Computer Assurance
Citations:9 - 2 self