1. Sound and mechanised compositional verification of input‐output conformance. (14th May 2013) Authors: Sampaio, Augusto; Nogueira, Sidney; Mota, Alexandre; Isobe, Yoshinao Journal: Software testing, verification & reliability Issue: Volume 24:Number 4(2014:Oct.) Page Start: 289 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗