Model Checking with Abstract Types (2001)
by
Kirsten Winter
| Venue: | WORKSHOP ON SOFTWARE MODEL CHECKING SOFTMC01 |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Winter01modelchecking,
author = {Kirsten Winter},
title = {Model Checking with Abstract Types},
booktitle = {WORKSHOP ON SOFTWARE MODEL CHECKING SOFTMC01},
year = {2001},
publisher = {Elsevier Science Publishers}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
