A Symbolic Simulation Approach to Assertional Program Verification (2005)
by
John Matthews
,
J Strother Moore
,
Sandip Ray
,
Daron Vroon
| Citations: | 3 - 1 self |
BibTeX
@TECHREPORT{Matthews05asymbolic,
author = {John Matthews and J Strother Moore and Sandip Ray and Daron Vroon},
title = {A Symbolic Simulation Approach to Assertional Program Verification},
institution = {},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
3 1
