![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Eric Koskinen (University of Cambridge)
Monday 01 November 2010, 12:45-14:00
Temporal logic verification of programs
â ī¸ Important: This talk has been canceled/deleted
- đ¤ Speaker: Eric Koskinen (University of Cambridge)
- đ Date & Time: Monday 01 November 2010, 12:45 - 14:00
- đ Venue: Room FW26, Computer Laboratory, William Gates Building
Questions? Contact
Sam Staton
Abstract
Abstract not available
Series This talk is part of the Semantics Lunch (Computer Laboratory) series.
Included in Lists
This talk is not included in any other list.
Note: Ex-directory lists are not shown.