Formal System Development using Method Integration: a Case Study Publication details Publisher: Norsk Regnesentral Series: Report at the Norwegian Computing Center () Year: 2004 Number of pages: 52 International Standard Numbers: Printed: 9788253905105 Links: ARKIV: hdl.handle.net/11250/4870407 ARKIV: hdl.handle.net/10852/9172 FULLTEKST: http://publications.nr.no/3934/Aredo_-_Formal_System_Development_using_Method_Integration.pdf You are here: Home Publications Report Formal System Development using Method Integration: a Case Study