Software Engineering and Formal Methods
You are here
| Title | Software Engineering and Formal Methods |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Hinchey M, Jackson M, Cousot P, Cook B, Bowen JP, Margaria T |
| Journal | Communications of the ACM |
| Volume | 51 |
| Date Published | 2008 |
