Boris Beizer;Natalia Juristo;Shari Lawrence Pfleeger
-;-;-
Checking of models built using a graphically based formal modelling language
Journal of Systems and Software - Special issue: Computer software & applications