View:
Show Author | Hide Author
LISTSERV Archives
FACS Home
Subscribe or Unsubscribe
Log In
Get Password
BCS FACS - Half a Century of Formal Methods in Software Engineering: A Personal View, Tim Denvir, 1 March 2017
Jonathan Bowen
Sun, 26 Feb 2017 11:26:53 +0000
195 lines
Talk on Alan Turing at the Science Museum, London, 22 February 2017
Fri, 17 Feb 2017 14:48:43 +0000
77 lines
2nd call RV2017: Runtime Verification, September 13 - 16 2017, Seattle USA
Ayoub Nouri
Wed, 15 Feb 2017 13:10:29 +0100
798 lines
Wed, 8 Feb 2017 23:55:49 +0000
192 lines
Advanced Options
For help and support help@jisc.ac.uk