|
51 |
Formal methods and software engineering Berlin : Springer, 2007
|
|
|
52 |
Formal methods and software engineering Berlin : Springer, 2006
|
|
|
53 |
Formal methods and software engineering Berlin : Springer, 2006
|
|
|
54 |
Formal methods and software engineering Berlin : Springer, 2005
|
|
|
55 |
Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
56 |
Formal methods and software engineering Berlin : Springer, 2004
|
|
|
57 |
Formal methods and software engineering Berlin : Springer, 2003
|
|
|
58 |
Formal methods and software engineering Berlin : Springer, c 2003
|
|
|
59 |
Formal methods and software engineering Berlin : Springer, 2002
|
|
|
60 |
Formal methods and software engineering Berlin : Springer, 2002
|
|