Sciweavers

CAV
2009
Springer
155views Hardware» more  CAV 2009»
15 years 2 days ago
The Zonotope Abstract Domain Taylor1+
tope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, F-91191 Gif-sur-Yvette Cedex, France, ...
Khalil Ghorbal, Eric Goubault, Sylvie Putot