-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28by Lazard, Sylvain“...Université Nancy II...”
Published 2007
Get full text
Get full text
Get full text
-
29
-
30
-
31
-
32
-
33
-
34Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objetby Truong, Ninh Thuan“...Université Nancy II...”
Published 2006
Get full text
Get full text
-
35
-
36
-
37
-
38
-
39
-
40