Talks and Poster Presentations (with Proceedings-Entry):
A. Humenberger, M. Jaroschek, L. Kovacs:
"Aligator.jl - A Julia Package for Loop Invariant Generation";
Talk: 11th International Conference on Intelligent Computer Mathematics (CICM),
Hagenberg;
2018-08-13
- 2018-08-17; in: "Proceedings of the 11th International Conference on Intelligent Computer Mathematics (CICM)",
F. Rabe et al. (ed.);
LNCS,
11006
(2018),
111
- 117.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-96812-4_10
Electronic version of the publication:
https://arxiv.org/abs/1808.05394
Created from the Publication Database of the Vienna University of Technology.