Volume 6: January - December 1996

Issue 3: June 1996

Abstract


Comparative review. Z - An introduction to formal methods. Antoni Diller. Formal specification using Z. Leonardo Bottaci and John Jones

  • Comparative review. Z - An introduction to formal methods. Antoni Diller. Formal specification using Z. Leonardo Bottaci and John Jones
  • K. Broda Imperial College, London, UK

    Pages: 484 - 485

    Part of the OUP Journal of Logic and Computation WWW service


    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Last updated 23 Jul 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996