View:
Show Author | Hide Author Show Table of Contents | Hide Table of Contents
Table of Contents:
BCS Lovelace Lecture 2011 by John Reynolds available online (1 message) Call for Papers: 11th International Workshop on Automated Verification of Critical Systems (AVOCS 2011) (1 message) Professorship in Software Engineering at the Technical University of Denmark (DTU) (1 message) SAFECOMP 2011: Call for Participation (1 message)
LISTSERV Archives
FMNET Home
Subscribe or Unsubscribe
Log In
Get Password
BCS Lovelace Lecture 2011 by John Reynolds available online
Jonathan Bowen <[log in to unmask]>
Wed, 20 Jul 2011 12:54:16 +0100
78 lines
Call for Papers: 11th International Workshop on Automated Verification of Critical Systems (AVOCS 2011)
Tue, 19 Jul 2011 23:13:43 +0100
96 lines
Professorship in Software Engineering at the Technical University of Denmark (DTU)
Anne Haxhausen <[log in to unmask]>
Mon, 4 Jul 2011 15:28:20 +0100
63 lines
SAFECOMP 2011: Call for Participation
Francesco Flammini <[log in to unmask]>
Wed, 6 Jul 2011 13:11:25 +0200
1213 lines
Advanced Options
