|
1 |
Software engineering and formal methods SEFM (13. : 2015 : York). - Berlin : Springer, [2015], [1st ed.]
|
|
|
2 |
Formal methods and software engineering Heidelberg : Springer, 2013
|
|
|
3 |
Software engineering and formal methods Heidelberg : Springer, 2013
|
|
|
4 |
Formal methods and software engineering Berlin : Springer, 2012
|
|
|
5 |
Software engineering and formal methods Berlin : Springer, 2012
|
|
|
6 |
Formal methods and software engineering Berlin : Springer, 2011
|
|
|
7 |
Software engineering and formal methods Berlin : Springer, 2011
|
|
|
8 |
Formal methods and software engineering Berlin : Springer, 2010
|
|
|
9 |
Formal methods and software engineering Berlin : Springer, 2009
|
|
|
10 |
Formal methods and software engineering Berlin : Springer, 2008
|
|