Back to Search
Start Over
Program construction by refinements preserving correctness.
- Source :
- Computer Journal; 1975, Vol. 18 Issue 1, p55-62, 8p
- Publication Year :
- 1975
Details
- Language :
- English
- ISSN :
- 00104620
- Volume :
- 18
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- Computer Journal
- Publication Type :
- Academic Journal
- Accession number :
- 80078961