University of Cambridge > Talks.cam > Program verification reading group. > 'The ASTRÉE analyser', Cousot, Cousot, Feret, Mauborgne, Miné, Monniaux & Rival

  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

'The ASTRÉE analyser', Cousot, Cousot, Feret, Mauborgne, Miné, Monniaux & Rival

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

If you have a question about this talk, please contact Mike Dodds.

http://www.di.ens.fr/~cousot/publications.www/CousotEtAl-ESOP05.pdf

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

CIKC Talks Qualitative methods in health research Cambridge Image Analysis Seminars

Other talks

Crowding and the disruptive effect of clutter throughout the visual system On the elastic-brittle versus ductile fracture of lattice materials Microsporidia: diverse, opportunistic and pervasive pathogens Trees as keys, ladders, maps: a revisionist history of early systematic trees Climate change, species' abundance changes and protected areas Speak white, speak black, speak American Horizontal transfer of antimicrobial resistance drives multi-species population level epidemics Lunchtime Talk: Helen's Bedroom Migration in Science Discovering regulators of insulin output with flies and human islets: implications for diabetes and pancreas cancer Visual hallucinations in Parkinson’s disease - imbalances in top-down vs. bottom up information processing
 

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