Conversion of ST Control Programs to ANSI C for Verification Purposes - Sadolewski, Jan (Oficyna Wydawnicza Politechniki Wrocławskiej, 2011)
e-Informatica Software Engineering Journal, Vol. 5, 2011, Issue 1, s. 65-76
Keywords: informatyka - czasopisma