% This file was created with JabRef 2.6.
% Encoding: UTF-8

@ARTICLE{05_paper,
  author = {Jan Sadolewski},
  title = {Conversion of ST Control Programs to ANSI C for Verification Purposes},
  journal = {e-Informatica Software Engineering Journal},
  year = {2011},
  volume = {5},
  pages = {65--76},
  doi = {10.2478/v10233-011-0031-3},
  url = {http://www.e-informatyka.pl/attach/e-Informatica_-_Volume_5/eInformatica2011Art5.pdf}
}