Krawczyk H, Wiszniewski B, Kuzora P, Neyman M, Proficz J. Integrated static and dynamic analysis of PVM programs with STEPS. Comput. Inform. [Internet]. 2012 Mar. 5 [cited 2024 Nov. 23];17(5):441-53. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/621