View:
Show Author | Hide Author
LISTSERV Archives
FACS-EVENTS Home
Subscribe or Unsubscribe
Log In
Get Password
**** BCS-FACS Evening Seminar byProfessor John Derrick, Mechanising a correctness proof for a lock-free concurrent stack, 21 September 2011, BCS London Offices, Covent Garden, London
Paul Boca
Mon, 19 Sep 2011 22:04:38 +0100
65 lines
BCS-FACS Evening Seminar byProfessor John Derrick, Mechanising a correctness proof for a lock-free concurrent stack, 21 September 2011, BCS London Offices, Covent Garden, London
Thu, 1 Sep 2011 22:58:39 +0100
66 lines
Advanced Options
For help and support help@jisc.ac.uk