Using Answer Set Programming in the Development of Verified Software.

Florian Schanda, Martin Brain

Browse the full ICLP paper archive.