University of Cambridge > Talks.cam > Program verification reading group. > 'Parametric Shape Analysis via 3-Valued Logic', Sagiv, Reps & Wilhelm

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

'Parametric Shape Analysis via 3-Valued Logic', Sagiv, Reps & Wilhelm

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Matthew Parkinson.

http://portal.acm.org/citation.cfm?id=292540.292552&type=series

This talk is part of the Program verification reading group. series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

david brailsford Aitken Lectures

Other talks

Development of machine learning based approaches for identifying new drug targets Developmental cognitive neuroscience How could education systems research prompt a change to how DFIS works on education Finding alternatives: when circumstances suddenly change Beyond truth-as-correspondence: realism for realistic people Mathematical applications of little string theory Cambridge Rare Disease Summit 2017 100 Problems around Scalar Curvature Thermodynamics de-mystified? /Thermodynamics without Ansätze? Atiyah Floer conjecture Future directions panel
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity