Foundations of the Trace Assertion Method of Module Interface Specification (0)

by R Janicki, E Sekerinski
Venue:IEEE Trans. on Softw. Eng