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