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

Bibliographic Item (1.0)

Saiedian95

  1. Hossein Saiedian
  2. An invitation to Formal methods(introduction to a round table)
  3. IEEE Computer Magazine V29N4(Apr 1996)pp16-17
  4. =EDITORIAL MATHEMATICS
  5. "In essence formal methods offer the same advantages for software (or even hardware) design that many other engineering disciplines have exploited - namely mathematical analysis using a mathematically based model".
  6. See [BowenHinchey96] [Glass96] [JonesCB96] [JacksonDWing96] [Hall96] [DillRushby96] [HollowayButler96] [Zave96] [Lutz96] [Parnas96] [Gries96]

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]