Search Results - International Workshop on Behavioral Types Workshop
- Showing 1 - 1 results of 1
-
1
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
Published: Springer, 2014“…International Workshop on Behavioral Types Workshop…”Description: 1 online resource.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook