Florian Schanda, Martin Brain. Using Answer Set Programming in the Development of Verified Software. In Agostino Dovier, VĂtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. Volume 17 of LIPIcs, pages 72-85, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.