@misc{Sadolewski_Jan_Specification,
 author={Sadolewski, Jan and Świder, Zbigniew},
 howpublished={online},
 publisher={Wydawnictwo Politechniki Śląskiej},
 language={eng},
 title={Specification and verification of simple logic control programs using Frama C},
 title={Specyfikacja i weryfikacja prostych programów sterowania logicznego z wykorzystaniem Frama C},
 type={artykuł},
 keywords={Politechnika Śląska, informatyka, technologie informatyczne},
}