# |
 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] |
