DMCA
How the design of JML accommodates both runtime assertion checking and formal verification (2003)
Cached
Download Links
- [www.rose-hulman.edu]
- [ftp.cs.iastate.edu]
- [pdf.aminer.org]
- DBLP
Other Repositories/Bibliography
by
Gary T. Leavens
,
Yoonsik Cheon
,
Curtis Clifton
,
Clyde Ruby
,
David R. Cok
| Venue: | SCIENCE OF COMPUTER PROGRAMMING |
| Citations: | 84 - 19 self |
BibTeX
@INPROCEEDINGS{Leavens03howthe,
author = {Gary T. Leavens and Yoonsik Cheon and Curtis Clifton and Clyde Ruby and David R. Cok},
title = {How the design of JML accommodates both runtime assertion checking and formal verification},
booktitle = {SCIENCE OF COMPUTER PROGRAMMING},
year = {2003},
pages = {262--284},
publisher = {}
}
Share
 |
 |
 |
 |
||
