The paper was presented at the peer-reviewed conference “NAT@Logic 2015: 10th Workshop on Logical and Semantic Frameworks, with Applications.” The event, organized by NAT@Logic 2015 and the Federal University of Rio Grande do Norte, took place on August 31 and September 1, 2015, in Natal, Brazil.
The authors of the article are:
- Ernesto Copello, B.Eng., research assistant and professor of Computer Science at the School of Engineering.
- Álvaro Tasistro, Ph.D., professor of Computer Science and academic coordinator of the Master’s in Engineering (Research Track).
- Nora Szasz, Ph.D., academic coordinator of Systems Engineering.
- Dr. Ana Bove, associate professor in the Department of Computer Science and Engineering at Chalmers University of Technology, Sweden
- Dr. Maribel Fernández, professor in the Computer Science section of the Department of Computer Science at King’s College London, United Kingdom.
The paper, accepted in June 2015 for presentation at the conference, was presented by Dr. Copello.