Software Specification: A Comparison of Formal Methods
| Title | Software Specification: A Comparison of Formal Methods |
| Publication Type | Books |
| Year of Publication | 1994 |
| Authors | Gannon JD, Purtilo J, Zelkowitz MV |
| Publisher | Intellect Books |
| ISBN Number | 9781567500332 |
| Keywords | Computer software, Computer software/ Specifications, Computers / General, Computers / Programming / General, Formal methods (Computer science), software engineering, specifications |