Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
A. Humenberger, M. Jaroschek, L. Kovacs:
"Aligator.jl - A Julia Package for Loop Invariant Generation";
Vortrag: 11th International Conference on Intelligent Computer Mathematics (CICM),
Hagenberg;
13.08.2018
- 17.08.2018; in: "Proceedings of the 11th International Conference on Intelligent Computer Mathematics (CICM)",
F. Rabe et al. (Hrg.);
LNCS,
11006
(2018),
S. 111
- 117.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-96812-4_10
Elektronische Version der Publikation:
https://arxiv.org/abs/1808.05394
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.