Search Results - International Workshop on Behavioral Types Workshop

Software engineering and formal methods : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised select... by SpringerLink (Online service), International Conference on Software Engineering and Formal Methods, International Workshop on Behavioral Types Workshop, Workshop on Formal Methods in the Development of Software, Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems, International Symposium on Modelling and Knowledge Management for Sustainable Development, International Workshop on Foundations and Techniques for Open Source Software Certification

“…International Workshop on Behavioral Types Workshop…”
SpringerLink - Click here for access