Sciweavers

CAV
2009
Springer

The Zonotope Abstract Domain Taylor1+

15 years 29 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, firstname.surname@cea.fr
Khalil Ghorbal, Eric Goubault, Sylvie Putot
Added 25 Nov 2009
Updated 25 Nov 2009
Type Conference
Year 2009
Where CAV
Authors Khalil Ghorbal, Eric Goubault, Sylvie Putot
Comments (0)