Ryszard Janicki, Emil Sekerinski. Foundations of the Trace Assertion Method of Module Interface Specification. IEEE Trans. Software Eng., 27(7):577-598, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.