Diagnosis and debugging as contradiction removal

http://hdl.handle.net/10362/70210

Utilize este identificador para referenciar este registo.

Nome:	Descrição:	Tamanho:	Formato:
lpnmr93-2.pdf		482.64 KB	Adobe PDF	Ver/Abrir

Autores

Damásio, Carlos Augusto Isaac Piló Viegas

Alferes, José Júlio Alves

URI

https://www.semanticscholar.org/paper/Diagnosis-and-Debugging-as-Contradiction-Removal-Pereira-Dam%C3%A1sio/39e08b52d2cf271ffb0c5d028850c6184bebbb34

Coleções

FCT: DI - Documentos de conferências internacionais

Ver registo completo