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

Bibliographic Item (1.0)

Woodcock06
  1. Jim C P Woodcock
  2. First steps in the verilied software grand challenge
  3. IEEE Computer Magazine V39n10(Oct 2006)pp57-64
  4. =DEMO PROVING SOFTWARE REPOSITORY TOOLS EXAMPLE SPECIFICATION PROOFS Mondex SECURITY MICROSOFT SDV Z Z/Eves Alloy Event-B OCL Raise KIV ASMs Perfect developer PVS VERIFICATION
  5. 15 year worldwide project.
  6. See [ http://qpq.csl.sri.com/ ] [ http://vstte.ethz.ch ]

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]