|
|
|
Size
|
Overture Tool 1.0.0 Released - Tuesday 2 March 2011
|
Nico Plat |
Wed, 2 Mar 2011 13:19:50 +0100 |
24 lines |
CfP - ICFEM2011: 13th International Conference on Formal Engineering Methods
|
Jonathan Bowen |
Sat, 5 Mar 2011 18:33:30 +0000 |
348 lines |
Overture Tool 1.0.0 Released
|
Jonathan Bowen |
Mon, 7 Mar 2011 11:37:45 +0000 |
68 lines |
[fm-announcements] VVPS'11 CFP - deadline extension: March 25
|
Havelund, Klaus (318M) |
Fri, 18 Mar 2011 09:20:21 -0700 |
259 lines |
2nd CFP for the Workshop on Software Product Line Development in Dynamic Adaptive Environments
|
Joost Noppen |
Fri, 18 Mar 2011 16:41:18 +0000 |
160 lines |
*** REMINDER: BCS-FACS Evening Seminar by Prof Philip Wadler: Formlets, 5 April 2011, BCS London Offices, Covent Garden
|
Paul Boca |
Sat, 19 Mar 2011 12:33:01 +0000 |
72 lines |