# |
 Date  |
 Type  |
 Name & title  |
 Contact  |
 |
201. |
13 Nov 2017 |
Software |
HOL-TestGenA generator of test-data from HOL specifications |
WOLFF, Burkhart |
 |
202. |
01 Jan 2014 |
Software |
|
ZAMPETAKIS, Stamatis |
 |
 |
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 [Page 9 sur 9] |