E. Sekerinski
3 published titles
Program development by refinement : case studies using the B method
(Contributor)
1 edition
- ISBN: 1852330538
- Springer
- 1999
- Details
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
(Contributor)
1 edition
- ISBN: 9783540372158
- Springer
- 2006
- Details
Integrated formal methods : 11th international conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319101804
- Springer
- 2014
- Details
