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

Bibliographic Item (1.0)

HincheyBowen99

  1. Michael G Hinchey & Jonathan P Bowen (Eds)
  2. Industrial-Strength Formal Methods in Practice
  3. FACIT Series of Springer-Verlag 1999 SBN 1-8533-640-4 QA76.9 F67 I53
  4. =EXPERIENCE FORMAL METHODS B BAN Z TABULAR ACL2 RAISE Z/EVES EVES V&V TOOL Cleanroom SSADM RSML
  5. for cs556/656
  6. Contains [BjornerGeorgePrehn99] [LevesonEtal99b] [KestenKleinPnueliRaanan99] [BrockHunt99] [LanoGoldsackSanchez99] [BurrowsAbadiNeedham89] [Anderson99] [BernardLaffite99] [BowenHinchey99] [LingerTrammell99] [BoralvStalmarck99] [ArdisMataga99] [MooreKlinkerMihelcic99] [CraigenMeiselsSaaltink99] [SemmensBryant99] [Jacky99]

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]