[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Hossein Saiedian
- An invitation to Formal methods(introduction to a round table)
- IEEE Computer Magazine V29N4(Apr 1996)pp16-17
- =EDITORIAL MATHEMATICS
- "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".
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]