J. H. Poore;Stacy Jackson Prowell
-;-
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering