An approach to systems verification
William R. Bevier, Warren A. Hunt Jr., J. Strother Moore, William D. Young[doi] [Google Scholar] [DBLP] [Citeseer]
[doi] [Google Scholar] [DBLP] [Citeseer]
Related Work
Interesting papers
Interesting papers