Travelled to:1 × Greece
Collaborated with:S.Erdweg S.Grewe M.Mezini
Talks about:infrastructur (1) increment (1) knowledg (1) descript (1) theorem (1) generat (1) system (1) servic (1) prover (1) domain (1)
Person: André Pacak
DBLP: Pacak:Andr=eacute=
Contributed to:
2019
2018Wrote 2 papers:
- SLE-2019-PacakE #generative #incremental
- Generating incremental type services (AP, SE), pp. 197–201.
- PPDP-2018-GreweEPM #automation #framework #proving #theorem proving
- System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers (SG, SE, AP, MM), p. 10.