COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
LunchAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. OFBW70 - Formal Specification and Validation at Scale This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsInnovations in wound healing and wound management Martin Centre Research Seminars: 51st Series British Society of Aesthetics Cambridge Lecture SeriesOther talksInvestigating the stability of Antarctica’s ice shelves Communicating Complex Information at the Bank of England Quantum Information Our archaeal origins What can Arctic staircases tell us about ocean mixing? Rapid Reports |