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