Sciweavers

WADT
1999
Springer

Towards an Evolutionary Formal Software-Development Using CASL

14 years 4 months ago
Towards an Evolutionary Formal Software-Development Using CASL
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1999
Where WADT
Authors Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
Comments (0)