in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 8324 LNCS, Pages: 104-119
Conference
15Th International Conference on Verification, Model Checking, and Abstract Interpretation, Vmcai 2014, Date: 20 January 2014 through 21 January 2014, Location: San Diego, CA, Sponsors: Association of Logic Programming;ACM