![]() |
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 > Specifications and theorem-proving at Arm
![]() Specifications and theorem-proving at ArmAdd 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 listsCambridge Mathematics Placements (CMP) Seminars Nigerian Famous Feminines That Are Enemies Spectacular Chemistry of CoalOther talksScaling up the automated verification of concurrent programs Lunch at Churchill College Cambridge RNA Club - ONLINE Book Talk: Troubled by Rob Henderson Group Work |