|
|
|
Size
|
TAP 2013: 1st Call for Papers
|
Achim D. Brucker |
Tue, 30 Oct 2012 07:56:28 +0100 |
134 lines |
CfP: MBT 2013 Eighth Workshop on Model-Based Testing, March 17, 2013, Rome, Italy
|
Jonathan Bowen |
Fri, 26 Oct 2012 12:04:57 +0100 |
245 lines |
Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs
|
Achim D. Brucker |
Wed, 17 Oct 2012 09:23:46 +0200 |
101 lines |
SCP Special Issue on Invariant Generation - Call for Papers
|
Gudmund Grov |
Tue, 16 Oct 2012 12:24:07 +0100 |
97 lines |
unsubscribe
|
Tony Hoare |
Tue, 2 Oct 2012 13:47:45 +0000 |
76 lines |
integrated Formal Methods 2013, Turku, Finland - First Call for Papers
|
Luigia Petre |
Tue, 2 Oct 2012 10:58:41 +0300 |
154 lines |