Zoeken

U zocht naar: Auteur Cousot, Radhia Filter Auteur: Cousot, Radhia weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Static Analysis
thumbnail
Full text!
Auteur:
Cousot, Radhia; Kanade, Takeo; Martel, Matthieu; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
2. Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Cousot, Radhia; Association for Computing Machinery-Digital Library.; Association for Computing Machinery.; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book