Home
>
Research results
> Software & patents
About LRI
Groups
Collaborations
Research results
Highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
LRI Publications
Internal Publications
Open positions
Teaching
Useful informations
Software & patents
#
Date
Type
Name & title
Contact
201.
15 Aug 2017
Software
HOL-OCL
A proof system for UML/OCL
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]
