@misc{Sadolewski_Jan_Conversion_2011, author={Sadolewski, Jan}, contributor={Huzar, Zbigniew. Redakcja and Madeyski, Lech. Redakcja}, identifier={DOI 10.2478/v10233-011-0031-3}, year={2011}, rights={Wszystkie prawa zastrzeżone (Copyright)}, publisher={Oficyna Wydawnicza Politechniki Wrocławskiej}, description={e-Informatica Software Engineering Journal, Vol. 5, 2011, Issue 1, s. 65-76}, language={eng}, title={Conversion of ST Control Programs to ANSI C for Verification Purposes}, type={artykuł}, keywords={informatyka - czasopisma}, }