Internal design of modules specified in the trace assertion method
Authors:
Michal Iglewski;Janina Mincer-Daszkiewicz
Affiliations:
-;-
Venue:
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)