Formalni verifikator kritičnih odsječaka računalnih programa : primjena strategije izračunavanja najslabijeg preduvjeta u formalnoj verifikaciji : : [studentski rad za Rektorovu nagradu] - Bošnjak, Matko (Fakultet elektrotehnike i računarstva - Zagreb, 2007)