|
Formal Methods and Software Development
|
Hartmut EhrigChristiane FloydMaurice NivatJames Thatcher |
Springer |
_ |
1985 |
|
|
Formal Methods and Software Engineering
|
Shaoying LiuTom MaibaumKeijiro Araki |
Springer |
_ |
2008 |
|
|
Formal Methods and Software Engineering
|
Chris GeorgeHuaikou Miao |
Springer |
_ |
2002 |
|
|
Formal Methods and Software Engineering
|
Michael ButlerMichael G. HincheyMar�a M. Larrondo-Petrie |
Springer |
_ |
2007 |
|
|
Formal Methods and Software Engineering
|
Shengchao QinZongyan Qiu |
Springer |
_ |
2011 |
|
|
Formal Methods and Software Engineering
|
Zhiming LiuJifeng He |
Springer |
_ |
2006 |
|
|
Formal Methods and Software Engineering
|
Jim DaviesWolfram SchulteMike Barnett |
Springer |
_ |
2004 |
|
|
Formal Methods and Software Engineering
|
Karin BreitmanAna Cavalcanti |
Springer |
_ |
2009 |
|
|
Formal Methods and Software Engineering
|
Kung-Kiu LauRichard Banach |
Springer |
_ |
2005 |
|
|
Formal Methods and Software Engineering
|
Jin Song DongHuibiao Zhu |
Springer |
_ |
2010 |
|
|
Formal Methods and Software Engineering
|
Toshiaki AokiKenji Taguchi |
Springer |
_ |
2012 |
|
|
Formal Methods and Software Engineering
|
Jin Song DongJim Woodcock |
Springer |
_ |
2003 |
|
|
Formal Methods and Stochastic Models for Performance Evaluation
|
Katinka Wolter |
Springer |
_ |
2007 |
|
|
Formal Methods and Stochastic Models for Performance Evaluation
|
Andr�s Horv�thMikl�s Telek |
Springer |
_ |
2006 |
|
|
Formal Methods and Testing
|
Robert M. HieronsJonathan P. BowenMark Harman |
Springer |
_ |
2008 |
|
|
Formal Methods at the Crossroads. From Panacea to Foundational Support
|
Bernhard K. AichernigTom Maibaum |
Springer |
_ |
2003 |
|
|
Formal Methods for Components and Objects
|
Bernhard K. AichernigFrank S. de BoerMarcello M. Bonsangue |
Springer |
9783642252716 |
2012 |
|
|
Formal Methods for Components and Objects
|
Frank S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever |
Springer |
_ |
2005 |
|
|
Formal Methods for Components and Objects
|
Frank S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever |
Springer |
_ |
2007 |
|
|
Formal Methods for Components and Objects
|
Frank S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever |
Springer |
_ |
2008 |
|
|
Formal Methods for Components and Objects
|
Frank S. de BoerMarcello M. BonsangueEric Madelaine |
Springer |
_ |
2009 |
|
|
Formal Methods for Components and Objects
|
Frank S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever |
Springer |
_ |
2006 |
|
|
Formal Methods for Components and Objects
|
Frank S. de BoerMarcello M. BonsangueStefan HallerstedeMichael Leuschel |
Springer |
_ |
2010 |
|
|
Formal Methods for Components and Objects
|
Frank S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever |
Springer |
_ |
2003 |
|
|
Formal Methods for Components and Objects
|
Frank S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever |
Springer |
_ |
2004 |
|