Power and limitations of formal methods for software fabrication - Serna M., Edgar (Informatica (Ljubljana), 2017)
Keywords: computer science; računalništvo; matematične metode; programska oprema; razvoj