Logic Programming & Software
SPARCIM Contact: María
Programming and Software Engineering Research Group - GPLIS - is
made up of five different subgroups
a common interest in Software
Engineering, Formal Methods and Logic Programming technology.
GPLIS research activities focus on the general
areas of research of the five
to obtain institutional information about the GPLIS group and its
activities (group profile).
Last update Jul 2005 # María