|
|
|
Size
|
Re: BCS-FACS/FME talk: The KeY Formal Verification Tool, Reiner Hähnle, 4 May 2017
|
Jonathan Bowen |
Sat, 29 Apr 2017 10:47:02 +0100 |
222 lines |
BCS-FACS/FME talk: The KeY Formal Verification Tool, Reiner Hähnle, 4 May 2017
|
Jonathan Bowen |
Mon, 24 Apr 2017 19:15:45 +0100 |
168 lines |
[Mycolleagues] RV 2017 - Deadline Extension: full submissions May 8
|
Ayoub Nouri |
Fri, 21 Apr 2017 18:40:40 +0200 |
1650 lines |
RV 2017 - Deadline Extension: full submissions May 8
|
Ayoub Nouri |
Fri, 21 Apr 2017 18:40:40 +0200 |
1626 lines |
First Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017
|
Sven Linker |
Tue, 4 Apr 2017 15:08:26 +0100 |
166 lines |
BCS FACS - Conquering the Barriers to Formal Specification: Some recent developments in iUML-B and Event-B, Colin Snook, 15 June 2017
|
Jonathan Bowen |
Sat, 1 Apr 2017 21:58:36 +0100 |
182 lines |