Frank S. de Boer
9 published titles
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
(Contributor)
1 edition
- ISBN: 3540203036
- Springer
- 2003
- Details
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, revised lectures
(Contributor)
1 edition
- ISBN: 9783540291312
- Springer
- 2005
- Details
Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures
(Contributor)
1 edition
- ISBN: 9783540367499
- Springer
- 2006
- Details
Verification of sequential and concurrent programs
(Contributor)
1 edition
- ISBN: 9781848827455
- Springer
- 2009
- Details
Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010 : revised papers
(Contributor)
1 edition
- ISBN: 9783642252709
- Springer
- 2011
- Details
Theoretical Computer Science : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, the Netherlands, September 26-28, 2012, Proceedings
(Contributor)
1 edition
- ISBN: 9783642334740
- Springer
- 2012
- Details
Formal methods for components and objects : 10th international symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642358869
- Springer
- 2013
- Details
FM 2015 : Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, proceedings
(Contributor)
1 edition
- ISBN: 9783319192482
- Springer
- 2015
- Details
Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday
(Contributor)
1 edition
- ISBN: 9783319307336
- Springer
- 2016
- Details
