This website uses cookies to help us give you the best experience when you visit our website. By continuing to use this website, you consent to our use of these cookies.
Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14)Dimitra Giannakopoulou, Gwen Salaün, and Michael Butler