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