Towards an evolutionary formal software-development using CASL Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research
System description: Inka 5.0 - a logic voyager Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research
