Conference
Systematic program development/proof using Dromey's method : some comparisons with top-down design
| Title: | Systematic program development/proof using Dromey's method : some comparisons with top-down design |
|---|---|
| Authors: | Pleasant, James C. |
| Source: | Proceedings of the 19th annual conference on Computer Science. :169-173 |
| Availability: | http://dl.acm.org/doi/10.1145/327164.327229 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/327164.327229 |
|---|