|
81 |
Formal methods and software engineering Berlin : Springer, 2008
|
|
|
82 |
Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
|
|
|
83 |
Formal methods and software engineering Berlin : Springer, 2007
|
|
|
84 |
Formal methods and software engineering Berlin : Springer, 2006
|
|
|
85 |
Formal methods and software engineering Berlin : Springer, 2006
|
|
|
86 |
Formal methods and software engineering Berlin : Springer, 2005
|
|
|
87 |
Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
88 |
Formal methods and software engineering Berlin : Springer, 2004
|
|
|
89 |
Formal methods and software engineering Berlin : Springer, 2003
|
|
|
90 |
Formal methods and software engineering Berlin : Springer, c 2003
|
|