Ce site utilise des cookies pour nous aider à vous donner la meilleure expérience lorsque vous visitez notre site Web. En continuant à utiliser ce site, vous consentez à notre utilisation de ces 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