|
41 |
Formal methods and software engineering Berlin : Springer, 2009
|
|
|
42 |
Formal methods and software engineering Berlin : Springer, 2008
|
|
|
43 |
Formal methods and software engineering Berlin : Springer, 2007
|
|
|
44 |
Formal methods and software engineering Berlin : Springer, 2006
|
|
|
45 |
Formal methods and software engineering Berlin : Springer, 2005
|
|
|
46 |
Formal methods and software engineering Berlin : Springer, 2004
|
|
|
47 |
Formal methods and software engineering Berlin : Springer, 2003
|
|
|
48 |
Formal methods and software engineering Berlin : Springer, 2002
|
|
|
49 |
Formal methods in databases and software engineering London : Springer, 1993
|
|
|
50 |
Synergy between formal and pragmatic software engineering methods Hußmann, Heinrich. - München : Inst. für Informatik, 1993
|
|