Sciweavers

ATVA
2007
Springer

Mind the Shapes: Abstraction Refinement Via Topology Invariants

14 years 3 months ago
Mind the Shapes: Abstraction Refinement Via Topology Invariants
Jörg Bauer, Tobe Toben, Bernd Westphal
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where ATVA
Authors Jörg Bauer, Tobe Toben, Bernd Westphal
Comments (0)