Skip to main Skip to footer

University of Waterloo

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Citation:

S. Kauffman, Joshi, R. , and Havelund, K. , “Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications”, Towards a Logic for Inferring Properties of Event Streams, 2016.

Contact

E5 4111

skauffma@uwaterloo.ca

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo, ON, Canada N2L 3G1

Log in