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]
Abstract is missing.