Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar Verifying a class: combining testing and proving. (English) Zbl 1215.68132 Fundam. Inform. 95, No. 2-3, 305-324 (2009). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{G. Mirkowska} et al., Fundam. Inform. 95, No. 2--3, 305--324 (2009; Zbl 1215.68132) Full Text: DOI
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. (English) Zbl 1159.68360 Fundam. Inform. 85, No. 1-4, 1-17 (2008). MSC: 68N01 03B70 68N30 68Q60 PDF BibTeX XML Cite \textit{G. Mirkowska} et al., Fundam. Inform. 85, No. 1--4, 1--17 (2008; Zbl 1159.68360)