|
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
|
|