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 > N things I learned trying to do formal methods in industry
N things I learned trying to do formal methods in industryAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. BSPW01 - Big Specification: Specification, Proof, and Testing 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 listsPhonetics & Phonology Research Cluster Cambridge Global Food Security IRC kuknusOther talksResults of beamline testing at the MROI Group Work Executable specification of a production hypervisor: hypercalls and TLB management discipline Coarse Curvature Operator Algebras Absolutely dilatable module maps |