1. Contract-based verification of MATLAB-style matrix programs. (March 2016) Authors: Wiik, Jonatan; Boström, Pontus Journal: Formal aspects of computing Issue: Volume 28:Number 1(2016) Page Start: 79 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Contract-based verification of MATLAB-style matrix programs. (March 2016) Authors: Wiik, Jonatan; Boström, Pontus Journal: Formal aspects of computing Issue: Volume 28:Number 1(2016) Page Start: 79 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗