TY  - RPRT
TI  - Automatic Coding Rule Conformance Checking Using Logic Programs
AU  - Guillem Marpons-Ucero
AU  - Julio Mariño
AU  - Ángel Herranz
AU  - Lars-Åke Fredlund
AU  - Manuel Carro
AU  - Juan José Moreno-Navarro
PY  - 2007
UR  - https://arxiv.org/abs/0711.0344
ID  - 0711.0344
ER  -