Eerke A. Boiten

发表

Howard Bowman, Eerke A. Boiten, John Derrick, 1999, Sci. Comput. Program..
Eerke A. Boiten, 2015, Refine@FM.
Eerke A. Boiten, Marius C. Bujorianu, 2004, AMAST.
Howard Bowman, Eerke A. Boiten, John Derrick, 1999, Sci. Comput. Program..
Eerke A. Boiten, John Derrick, 2003, Abstract State Machines.
Eerke A. Boiten, John Derrick, Ralph Miarka, 2002, ZB.
Rogério de Lemos, Eerke A. Boiten, Adham Albakri, 2019, APF.
Howard Bowman, Eerke A. Boiten, John Derrick, 1997, ZUM.
Eerke A. Boiten, Eerke A. Boiten, 1993, Formal Methods in Programming and Their Applications.
Eerke A. Boiten, John Derrick, Ralph Miarka, 2000, ZB.
Eerke A. Boiten, John Derrick, J. Derrick, 1998, ZUM.
Howard Bowman, Eerke A. Boiten, John Derrick, 1996, FME.
Eerke A. Boiten, John Derrick, J. Derrick, 2014, Springer London.
Eerke A. Boiten, John Derrick, 2007, Electron. Notes Theor. Comput. Sci..
Howard Bowman, Eerke A. Boiten, John Derrick, 1997, FME.
Howard Bowman, Eerke A. Boiten, John Derrick, 2000, Comput. Networks.
Howard Bowman, Eerke A. Boiten, John Derrick, 1998, Formal Aspects of Computing.
Eerke A. Boiten, John Derrick, J. Derrick, 2011, FMOODS/FORTE.
Howard Bowman, Eerke A. Boiten, John Derrick, 1997, FORTE.
Eerke A. Boiten, John Derrick, J. Derrick, 2010, Sci. Comput. Program..
Eerke A. Boiten, 2016, J. Log. Algebraic Methods Program..
Jeremy L. Jacob, Eerke A. Boiten, 2014, ABZ.
Eerke A. Boiten, John Derrick, J. Derrick, 2003, Formal Aspects of Computing.
Eerke A. Boiten, John Derrick, J. Derrick, 2012, Formal Aspects of Computing.
Eerke A. Boiten, Dan Grundy, E. Boiten, 2008, REFINE@IFM.
Rogério de Lemos, Eerke A. Boiten, Adham Albakri, 2018, ARES.
Eerke A. Boiten, John Derrick, 1999, Inf. Softw. Technol..
Eerke A. Boiten, John Derrick, J. Derrick, 2000, FMOODS.
Eerke A. Boiten, 2008, ABZ.
Eerke A. Boiten, John Derrick, Chris Taylor, 2002, IEE Proc. Softw..
Eerke A. Boiten, John Derrick, Gerhard Schellhorn, 2009, Formal Aspects of Computing.
Eerke A. Boiten, John Derrick, J. Derrick, 2008, Refine@FM.
Eerke A. Boiten, John Derrick, J. Derrick, 2013, Comput. Stand. Interfaces.
Eerke A. Boiten, John Derrick, 2005, ZB.
Eerke A. Boiten, John Derrick, 1999, World Congress on Formal Methods.
Eerke A. Boiten, John Derrick, Chris Taylor, 2002, FMOODS.
Eerke A. Boiten, Richard Smith, Adham Albakri, 2020, DETIPS/DeSECSys/MPS/SPOSE@ESORICS.
Eerke A. Boiten, John Derrick, J. Derrick, 1999, IFM.
Eerke A. Boiten, John Derrick, Graeme Smith, 2005, Formal Aspects of Computing.
Eerke A. Boiten, E. Boiten, 1992, Sci. Comput. Program..
Eerke A. Boiten, 2012, Formal Aspects of Computing.
Eerke A. Boiten, John Derrick, 2000, MPC.
Eerke A. Boiten, E. Boiten, 2011, Refine@FM.
Roland Carl Backhouse, Paul F. Hoogendijk, Eerke A. Boiten, 1995, Inf. Process. Lett..
Aladdin Ayesh, Eerke A. Boiten, Kabiru Mohammed, 2020, DPM/CBT@ESORICS.
Eerke A. Boiten, John Derrick, J. Derrick, 2002, Formal Aspects of Computing.
Eerke A. Boiten, John Derrick, 2002, Electron. Notes Theor. Comput. Sci..
Howard Bowman, Eerke A. Boiten, John Derrick, 1996, FORTE.
Eerke A. Boiten, John Derrick, J. Derrick, 2009, REFINE@FMWeek.
Eerke A. Boiten, Isabel Wagner, 2018, DPM/CBT@ESORICS.
Eerke A. Boiten, John Derrick, J. Derrick, 2003, Trans. SDPS.
Howard Bowman, Eerke A. Boiten, John Derrick, 2002, Formal Methods Syst. Des..
Eerke A. Boiten, Dan Grundy, 2010, MPC.
Eerke A. Boiten, John Derrick, J. Derrick, 1999, Softw. Test. Verification Reliab..
Eerke A. Boiten, Michael J. Butler, 2006, Formal Aspects of Computing.
Eerke A. Boiten, Jaime Gaspar, E. Boiten, 2014, IACR Cryptol. ePrint Arch..
Eerke A. Boiten, John Derrick, Chris Taylor, 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.
Eerke A. Boiten, John Derrick, 2016, From Action Systems to Distributed Systems.
Eerke A. Boiten, John Derrick, J. Derrick, 2009, IFM.
Howard Bowman, Eerke A. Boiten, John Derrick, 1999, AMAST.
Eerke A. Boiten, 1991 .
Eerke A. Boiten, John Derrick, Gerhard Schellhorn, 2011, Sci. Comput. Program..