%0 Journal Article
%T Conversion of ST Control Programs to ANSI C for Verification Purposes
%A Sadolewski Jan
%J e-Informatica Software Engineering Journal
%D 2011
%I Wroclaw University of Technology
%R 10.2478/v10233-011-0031-3
%U http://www.e-informatyka.pl/attach/e-Informatica_-_Volume_5/eInformatica2011Art5.pdf