[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Harlan D Mills
- The New Math of Computer Programming
- Commun ACM V18n1(Jan 1975)pp43-48
- =THEORY MATH LOGIC structured CLEANROOM
- Also presented paper that year on getting programs right. International Conference on Reliable Software.(Berard)
- Refed in Zelkowitz90, cites
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]