Software Engineering and VR The Devil in the Details Tom Forsyth Software Architect, Oculus Jan 27 th 2015.
Holger Hermanns Formal Methods for Software Engineering Part III: Applications of Formal Methods Lecture 10: Applications?
Formal Methods in Software Engineering Applications of Formal Methods Lecture 31.