📄

Formal Methods: State of the Art and Future Directions

Source page

AuthorsEdmund M. Clarke, Jeannette M. Wing
Year1995
TypeScientific Paper
Citations1125
DOI10.1145/242223.242257
Visit source ↗