Talk page

Title:
Formal Methods: An Industrial Perspective

Speaker:
Jeannette Wing

Link:
https://video-archive.fields.utoronto.ca/view/2977

Workshop:
Fields- 5th International Conference on Runtime Verification