Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers
type: CreativeWork
type: Book
type: ProductModel
issued: 1996
about: p088227227
about: p075619539
author: p075404001
author: p149395531
contributor: p107703424
language: en
is part of: p840821077
main entity of page: https://data.bibliotheken.nl/.well-known/genid/cec175c43761f4ce6382d13f249e89f2
number of pages: 34
label: Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers / D. Naidich, T.B. Dinesh