Zoeken

U zocht naar: Auteur Barbara Jobstmann, K. Rustan M. Leino Filter Auteur: Barbara Jobstmann, K. Rustan M. Leino weghalen Type e-book Filter Type: e-book weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Barbara Jobstmann, K. Rustan M. Leino; Leino, K. Rustan M.
Uitgever:
Springer Berlin Heidelberg 2016
Type:
e-book