[Back]


Talks and Poster Presentations (with Proceedings-Entry):

A. Greßler, J. Oetsch, H. Tompits:
"Harvey : A System for Random Testing in ASP.";
Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland; 2017-07-03 - 2017-07-06; in: "Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)", M. Balduccini, T. Janhunen (ed.); Lecture Notes in Computer Science, Springer LNCS, 10377 (2017), ISBN: 978-3-319-61659-9; 229 - 235.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-61660-5_21

Electronic version of the publication:
https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_21


Created from the Publication Database of the Vienna University of Technology.