Formal System Development using Method Integration: a Case Study

Publication details

• Publisher: Norsk Regnesentral
• Series: Report at the Norwegian Computing Center (1002)
• Year: 2004
• Issue: 1002
• Number of pages: 52
• International Standard Numbers:
  • Printed: 82-539-0510-6
• Link:
  • FULLTEKST: http://publications.nr.no/3934/Aredo_-_Formal_System_Development_using_Method_Integration.pdf