1. Testing noninterference, quickly. (2016) Authors: HRIŢCU, CĂTĂLIN; LAMPROPOULOS, LEONIDAS; SPECTOR-ZABUSKY, ANTAL; AZEVEDO DE AMORIM, ARTHUR; DÉNÈS, MAXIME; HUGHES, JOHN; PIERCE, BENJAMIN C.; VYTINIOTIS, DIMITRIOS Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗