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.
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.