|
|
Clarke, Edmund. M. and Wing, Jeanette. M. (1996): Formal methods: State of the art and future directions
| Title: |
Formal methods: State of the art and future directions |
| Author(s): |
Clarke, Edmund. M. and Wing, Jeanette. M. |
| Year: |
1996 |
| Number: |
Tech. Rep. CMU-CS-96-178 |
Concepts
|
|
