Paper Info
Title
Using Answer Set Programming in the Development of Verified Software.
Year
DOI
Venue
2012
10.4230/LIPIcs.ICLP.2012.72
ICLP (Technical Communications)
Field
DocType
Citations 
Programming language,Computer science,Software,Security critical systems,Software verification and validation,Answer set programming,Root cause,Software development,Software verification
Conference
4
PageRank 
References 
Authors
0.47
1
2
Name
Order
Citations
PageRank
Florian Schanda1163.20
Martin Brain227922.41