Droschl, Georg

• Australasian Journal of Information Systems Vol. 6 No. 2 (1999): Theme: Requirements Engineering - Featured Themes
  A Case Study on the Application of PVS to Requirements Analysis
  Abstract  PDF