Automatic Verification of Concurrent Programs in Chalice

Date: Tuesday, May 18, 2010
Speaker: Peter Mueller
Venue: TU Vienna
Notes:

Starts at 15:15

Posted in RiSE Seminar