VILLANUEVA, Alicia
VILLANUEVA, Alicia
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.013 secondi).
Abstract diagnosis for timed concurrent constraint programs
2011-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
Automatic Synthesis of Specifications for First Order Curry Programs
2012-01-01 Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
2012-01-01 Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia
Towards an Effective Decision Procedure for LTL formulas with Constraints
2013-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Abstract diagnosis for timed concurrent constraint programs | 1-gen-2011 | Comini, Marco; Titolo, Laura; Villanueva, Alicia | |
Automatic Synthesis of Specifications for First Order Curry Programs | 1-gen-2012 | Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia | |
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages | 1-gen-2012 | Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia | |
Towards an Effective Decision Procedure for LTL formulas with Constraints | 1-gen-2013 | Comini, Marco; Titolo, Laura; Villanueva, Alicia |