Proving current constraint programs correct

• Autores: Frank S. De Boer, Maurizio Gabbrielli, Catuscia Palamidessi, Elena Marchiori
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 19, Nº 5, 1997, págs. 685-725
• Idioma: inglés
• Texto completo no disponible (Saber más ...)