[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Philip E Ross
- The Exterminators
- IEEE Spectrum Magazine (Sep 2005)pp36-
- =ADVERT Praxis MATH Z Spark PROTOTYPES V&V TOOLS TESTING MONDEX
- Company demonstrates that by getting very clear and reliable requirements
expressed mathematically and using a reliable language to write the code
you can reduce the number of faults to 1 for 25KLoC on project with
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]