DMCA
An Approach to Systems Verification (1989)
Cached
Download Links
- [www.cs.utexas.edu]
- [ftp.cs.utexas.edu]
- [www.computationallogic.com]
- DBLP
Other Repositories/Bibliography
by
William R. Bevier
,
Warren A. Hunt, Jr.
,
J Strother Moore
,
William D. Young
| Citations: | 78 - 7 self |
BibTeX
@MISC{Bevier89anapproach,
author = {William R. Bevier and Warren A. Hunt and Jr. and J Strother Moore and William D. Young},
title = {An Approach to Systems Verification},
year = {1989}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
