Formal Methods
You are here
| Title | Formal Methods |
| Publication Type | Book Chapter |
| Year of Publication | 2010 |
| Authors | Hinchey M, Bowen JP, Vassev E |
| Editor | Laplante P.A. |
| Book Title | Encyclopedia of Software EngineeringEncyclopedia of Software Engineering |
| Date Published | 2010 |
| Publisher | Taylor & Francis |
| Publication Language | eng |
| URL | https://sharepoint.lero.ie/Publications/2010/Book%20Sections/2010-Hinchey-FormalMethods_final.pdf |
