|
31 |
Unifying Theories of Programming and Formal Engineering Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
|
|
|
32 |
Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
33 |
Formal Methods for Model-Driven Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
34 |
Software Engineering and Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
35 |
Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
36 |
Software Engineering and Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
37 |
Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
|
|
|
38 |
Formal methods and software engineering Berlin : Springer, 2009
|
|
|
39 |
Formal methods and software engineering Berlin : Springer, 2008
|
|
|
40 |
Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
|
|