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
• Lenke:
  • FULLTEKST: http://publications.nr.no/3934/Aredo_-_Formal_System_Development_using_Method_Integration.pdf