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.