Integration of Structured Review and Model-based Verification: a Case Study Publication details Publisher: Norsk Regnesentral International Standard Numbers: Printed: 9788253905099 Link: FULLTEKST: http://publications.nr.no/3932/Aredo_-_Integration_of_Structured_Review_and_Model-based_V.pdf You are here: Home Publications Report Integration of Structured Review and Model-based Verification: a Case Study