A Logic Programming System for Evolving Programs with Temporal Operators
- Citation:
- Royval, {Alfredo Gabaldon}, {João Alexandre Carvalho Pinheiro} Leite, and {José Júlio Alves} Alferes. "A Logic Programming System for Evolving Programs with Temporal Operators." Lecture Notes in Computer Science. Vol. 5816. 2009. 101-112.
Abstract:
n/a
Notes:
n/a