Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
201.
13 Nov 2017
Software
HOL-TestGen
A generator of test-data from HOL specifications
WOLFF, Burkhart
202.
01 Jan 2014
Software
CliqueSquare
CliqueSquare
ZAMPETAKIS, Stamatis
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 [Page 9 sur 9]