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