| Original language | English |
|---|---|
| Place of Publication | Tokyo, Japan |
| Publisher | National Institute of Informatics |
| Publication status | Published - 2017 |
Publication series
| Name | NII Shonan Meeting Reports |
|---|---|
| No. | 2017-14 |
| ISSN (Print) | 2186-7437 |
Analysis and Verification of Pointer Programs
Marieke Huisman, Thomas Noll, Makoto Tatsuta
Research output: Book/Report › Report › Academic
62
Downloads
(Pure)