Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers / D. Naidich, T.B. Dinesh
| rdfs:label | "Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers / D. Naidich, T.B. Dinesh" |
| schema:name | "Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers" |
| schema:author | Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology |
| Naidich, Dimitri | |
| schema:contributor | Dinesh, T.B. |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1996" |
| schema:about | kennissystemen |
| programmeertalen | |
|
schema:in |
"en" |
|
schema:is |
Report / Department of Computer Science |
|
schema:number |
34 |
| schema:publication |
<https:/ |