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

by Ryszard Janicki
Venue:ACM Transactions on Software Engineering
Citations:17 - 1 self