URN:NBN:SI:doc-EYLZ71GO2017Serna A., AlexeiSerna M., Edgardocuments/doc/E/URN_NBN_SI_doc-EYLZ71GO_001.pdfdocuments/doc/E/URN_NBN_SI_doc-EYLZ71GO_001.txt341articlestr. 275-2820350-559631309351URN:NBN:SI:doc-EYLZ71GOengSlovensko društvo InformatikaInformatica (Ljubljana)InCcomputer sciencematematične metodeprogramska opremaračunalništvorazvojPower and limitations of formal methods for software fabricationthirty years later