Skip to content. | Skip to navigation

Second International Workshop on Behavioural Types

Navigation

You are here: Home / Proceedings

Proceedings

Pre-proceedings

Here is the pre-proceedings as a PDF. There will not be a printed version of the pre-proceedings, but the SEFM organisers have said that it will be possible to buy printed copies of individual papers. 

Post-proceedings

Revised and expanded papers from BEAT 2013 have been published in the combined proceedings of the SEFM workshops.

Steve Counsell, Manuel Núñez (editors):
Software Engineering and Formal Methods - SEFM 2013 Co-located Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8368, Springer 2014, ISBN 978-3-319-05031-7.