Formal System Development using Method Integration: a Case Study

Publikasjonsdetaljer

• Utgiver: Norsk Regnesentral
• Serie: Report at the Norwegian Computing Center (1002)
• År: 2004
• Utgave: 1002
• Antall sider: 52
• Internasjonale standardnumre:
  • Trykt: 82-539-0510-6
• Lenke:
  • FULLTEKST: http://publications.nr.no/3934/Aredo_-_Formal_System_Development_using_Method_Integration.pdf