University of Cambridge > Talks.cam > Program verification reading group. > 'Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL', Prensa Nieto and Esparza

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

'Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL', Prensa Nieto and Esparza

Download to your calendar using vCal

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

http://www7.informatik.tu-muenchen.de/um/bibdb/info/esparza.PE00.shtml

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 lists

Senior Parlour, Gonville & Caius College FW011 - William Gates Building Seminar Room SG1, Alison Richard Building, 7 West Road

Other talks

Scientific Steering Committee meeting Tissue-scale communication in cancer development Professor Philip Rosenstiel, W3 Professor of Clinical Molecular Biology, Director, Institute of Clinical Molecular Biology (IKMB), Kiel University Director's Briefing Strange New Worlds Afternoon Break
 

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