@misc {IOPORT.70573144,
    author       = {Hungar, Hardi},
    title        = {Positionsstatement: zertifizierungsargumentationen mit mathematischer pr\"azision},
    howpublished = {Software Engineering (Workshops), 339-340 (2008).},
    year         = {2008},
    identifier   = {70573144},
}