Conference
Systematic program development/proof using Dromey's method : some comparisons with top-down design
| Τίτλος: | Systematic program development/proof using Dromey's method : some comparisons with top-down design |
|---|---|
| Συγγραφείς: | Pleasant, James C. |
| Πηγή: | Proceedings of the 19th annual conference on Computer Science. :169-173 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/327164.327229 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/327164.327229 |
|---|