[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

FieldsElvang-Goranson92

  1. Bob Fields & Morten Elvang-Goranson
  2. A VDM Case Study in Mural
  3. IEEE Trans SE-18n4(Apr 1992)pp279-295
  4. VDM Mural specification and proof system using LPF Manchester and Rutherford Labs UK
  5. slow
  6. unfriendly
  7. tedious time consuming
  8. no library..

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]