![[University of Cambridge]](/static/images/identifier2.gif){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](/static/images/talkslogosmall.gif) |
University of Cambridge > Talks.cam > Program verification reading group. > "Loop Invariants on Demand", Rustan Leino and Francesco Logozzo
"Loop Invariants on Demand", Rustan Leino and Francesco LogozzoDownload to your calendar using vCal
If you have a question about this talk, please contact Mike Dodds . http://research.microsoft.com/~leino/papers/krml155.pdf This talk is part of the Program verification reading group. series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsMR14 Centre for Mathematical Sciences Seminar Room 3, Institute for Manufacturing, West Cambridge Kimbolton CastleOther talksGroup Work How Much Does Homology Really Know? Content, Caching and Kubernetes: Performance and User Experience in the Browser Group Work Morning Break Theophilus Richmond’s The First Crossing: The Transition from Slavery to Indentureship in the Caribbean and the Case of the Black Slave on the Hesperus |
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Wednesday 04 November 2009, 11:00-12:30
