% Encoding: UTF8
@Article{13516,
    author = "Jan Sadolewski",
    title  = "Asercyjne rozszerzenie języka ST normy IEC 61131-3 do dynamicznej weryfikacji systemów sterowania",
    year   = "2011",
    journal = "Pomiary Automatyka Robotyka",
    month   = "2",
    doi     = "",
    volume  = "15",
    number  = "171",
    pages  = "305-314",
    keywords = "język strukturalny ST, oprogramowanie, programowanie kontraktowe, system sterowania",
    url  = "https://par.pl/en/Yearbooks/2011/2-2011/Asercyjne-rozszerzenie-jezyka-ST-normy-IEC-61131-3-do-dynamicznej-weryfikacji-systemow-sterowania"
    }