[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...

[ES] El presente trabajo describe una propuesta de metodología de prevención de conflictos que pueda aplicarse durante las fases de proyecto, licitación y contrato de una obra. De acuerdo con los resultados de evaluación ...