A Calculus Supporting Contract Reasoning and Monitoring

by Maria Emilia Cambronero, Luis Llana, Gordon J. Pace
Published 2017-01-01

Conformance Verification of Normative Specifications using C-O Diagrams

by Gregorio Díaz, Luis Llana, Valentín Valero, Jose Antonio Mateo
Published 2012-09-01

Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review

by Sonia Estévez, M. Cambronero, Yolanda García-Ruiz, Luis Llana Díaz
Published 2019-07-01

A Semantic Framework to Debug Parallel Lazy Functional Languages

by Alberto de la Encina, Mercedes Hidalgo-Herrero, Luis Llana, Fernando Rubio
Published 2020-05-01