Formal System Development using Method Integration: a Case Study Publikasjonsdetaljer Utgiver: Norsk Regnesentral Serie: Report at the Norwegian Computing Center () År: 2004 Antall sider: 52 Internasjonale standardnumre: Trykt: 9788253905105 Lenker: 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 Du er her: Hjem Publikasjoner Rapport Formal System Development using Method Integration: a Case Study