Michal Iglewski;Marcin Kubica;Jan Madey
-;-;-
Application of the trace assertion method to the specification, design, and verification of automaton programs
Programming and Computing Software