%0 Conference Paper %1 conf/padl/Marpons-UceroMCHMF08 %A Marpons-Ucero, Guillem %A Mariño-Carballo, Julio %A Carro, Manuel %A Herranz-Nieva, Ángel %A Moreno-Navarro, Juan José %A Fredlund, Lars-Åke %B PADL %D 2008 %E Hudak, Paul %E Warren, David Scott %I Springer %K dblp %P 18-34 %T Automatic Coding Rule Conformance Checking Using Logic Programming. %U http://dblp.uni-trier.de/db/conf/padl/padl2008.html#Marpons-UceroMCHMF08 %V 4902 %@ 978-3-540-77441-9

@inproceedings{conf/padl/Marpons-UceroMCHMF08, added-at = {2019-10-19T00:00:00.000+0200}, author = {Marpons-Ucero, Guillem and Mariño-Carballo, Julio and Carro, Manuel and Herranz-Nieva, Ángel and Moreno-Navarro, Juan José and Fredlund, Lars-Åke}, biburl = {https://www.bibsonomy.org/bibtex/2448ba72864681c4afbc21d4db40e589f/dblp}, booktitle = {PADL}, crossref = {conf/padl/2008}, editor = {Hudak, Paul and Warren, David Scott}, ee = {https://doi.org/10.1007/978-3-540-77442-6_3}, interhash = {b8ed0b8dd2421e793b1d1c560720df78}, intrahash = {448ba72864681c4afbc21d4db40e589f}, isbn = {978-3-540-77441-9}, keywords = {dblp}, pages = {18-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:43:29.000+0200}, title = {Automatic Coding Rule Conformance Checking Using Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2008.html#Marpons-UceroMCHMF08}, volume = 4902, year = 2008 }