Now showing items 1-1 of 1

    • Extending the Useful Application Domain for Formal Methods 

      Swatman, Paul Anthony; Fowler, Danielle; Gan, C.Y. Michael (Springer-Verlag, 1991)
      Research into the industrial application of formal methods has concentrated almost exclusively on the specification of software systems in high-risk or safety critical applications Thus, attention has been directed to ...