Travelled to:1 × Italy
1 × USA
Collaborated with:D.Hutter S.Autexier H.Mantel
Talks about:evolutionari (1) descript (1) softwar (1) develop (1) toward (1) system (1) formal (1) voyag (1) logic (1) inka (1)
Person: Axel Schairer
DBLP: Schairer:Axel
Contributed to:
2001
1999Wrote 2 papers:
- ASE-2001-HutterS #development #formal method #towards
- Towards an Evolutionary Formal Software Development (DH, AS), pp. 417–420.
- CADE-1999-AutexierHMS #logic
- System Description: inka 5.0 — A Logic Voyager (SA, DH, HM, AS), pp. 207–211.