Automatically Checking an Implementation against Its Formal Specification (2000)
Cached
Download Links
- [selab.korea.ac.kr]
- [www.cs.pdx.edu]
- [www.cs.pdx.edu]
- [ftp.cs.pdx.edu]
- [ftp.cs.pdx.edu]
- [web.cecs.pdx.edu]
- [www.cs.pdx.edu]
- DBLP
Other Repositories/Bibliography
by
Sergio Antoy
,
Dick Hamlet
| Venue: | IEEE Transactions on Software Engineering |
| Citations: | 50 - 2 self |
BibTeX
@ARTICLE{Antoy00automaticallychecking,
author = {Sergio Antoy and Dick Hamlet},
title = {Automatically Checking an Implementation against Its Formal Specification},
journal = {IEEE Transactions on Software Engineering},
year = {2000},
volume = {26},
pages = {55--69}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
-
