Zoekresultaten
Resultaat 1 - 1 (van 1)
Dino Distefano | Arend Rensink | Joost-Pieter Katoen Who is pointing when to whom
on model-checking pointer structures
Non-fictie
Engels | 79 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek