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 Getting Through: Communicating Complex Information Quantum Information Our archaeal origins What can Arctic staircases tell us about ocean mixing? Rapid Reports |