1. Runtime verification and validation of functional reactive systems. (26th August 2020) Authors: PEREZ, IVAN; NILSSON, HENRIK Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗