COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Brijesh Dongol and Azalea Raad: Discussion: Academia, Industry and Government Working Together to Use Formal Specifications at Scale