Integration of Structured Review and Model-based Verification: a Case Study Publikasjonsdetaljer Utgiver: Norsk Regnesentral Internasjonale standardnumre: Trykt: 9788253905099 Lenke: FULLTEKST: http://publications.nr.no/3932/Aredo_-_Integration_of_Structured_Review_and_Model-based_V.pdf Du er her: Hjem Publikasjoner Rapport Integration of Structured Review and Model-based Verification: a Case Study