Juris Borzovs;Audris Kalnins;Inga Medvedis
-;-;-
Coverage criteria for state based specifications
Formal methods and testing