|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Evolving a formal language standard
Evolving a formal language standardAdd 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 listsSinews 20th April Education Technology ndb35's listOther talksMSD Lecture title TBC Adventures in Specification Based Testing Share your front page Antarctic Atmospheric Rivers in Present and Future Climates Group Work |
Andreas Rossberg (None / Other)
Wednesday 09 October 2024, 09:30-10:15