View:
Show Author | Hide Author
LISTSERV Archives
PROCOS Home
Subscribe or Unsubscribe
Log In
Get Password
*** Call for papers - FACS Xmas 2007 workshop: Formal Methods in Industry, 17 December 2007, London
Paul Boca
Thu, 19 Jul 2007 15:34:58 +0100
104 lines
Call for papers - first IEEE International Conference on Software Testing, Verification and Validation (ICST 2008)
Rob Hierons
Thu, 12 Jul 2007 12:13:22 +0100
108 lines
PhD position at the University of Twente on Graph-Based Abstract Interpretation
Arend Rensink
Thu, 12 Jul 2007 09:50:25 +0200
96 lines
Advanced Options
For help and support help@jisc.ac.uk