Software engineering and formal methods: [electronic resource] :: SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /: edited by Steve Counsell, Manuel Núñez.

Counsell, Steve.; Núñez, Manuel

doi:10.1007/978-3-319-05032-4

Software engineering and formal methods [electronic resource] : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers / edited by Steve Counsell, Manuel Núñez.

Counsell, Steve.; Núñez, Manuel (Professor); International Conference on Software Engineering and Formal Methods (11th : 2013 : Madrid, Spain); International Workshop on Behavioral Types Workshop (2nd : 2013 : Madrid, Spain); Workshop on Formal Methods in the Development of Software (3rd : 2013 : Madrid, Spain); Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (2013 : Madrid, Spain); International Symposium on Modelling and Knowledge Management for Sustainable Development (2013 : Madrid, Spain); International Workshop on Foundations and Techniques for Open Source Software Certification (7th : 2013 : Madrid, Spain)

2014

QA76.9.L63

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Software engineering and formal methods [electronic resource] : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers / edited by Steve Counsell, Manuel Núñez.

ISBN

9783319050324 electronic book
331905032X electronic book
9783319050317
3319050311

DOI

https://doi.org/10.1007/978-3-319-05032-4

Publication Details

Berlin : Springer, 2014.

Language

English

Description

1 online resource.

Item Number

10.1007/978-3-319-05032-4 doi

Call Number

QA76.9.L63

Dewey Decimal Classification

005.1

Summary

Contains selected papers of the workshops collocated with the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Second International Workshop on Behavioral Types Workshop, BEAT ; Third Workshop on Formal Methods in the Development of Software, WS-FMDS ; Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems, FM-RAIL-BOK ; International Symposium on Modelling and Knowledge Management for Sustainable Development, MoKMaSD ; Seventh International Workshop on Foundations and Techniques for Open Source Software Certification, OpenCert.

Note

Revised conference papers.

Access Note

Access limited to authorized users.

Added Author

Counsell, Steve.
Núñez, Manuel (Professor)

Added Meeting Name

International Conference on Software Engineering and Formal Methods (11th : 2013 : Madrid, Spain)
International Workshop on Behavioral Types Workshop (2nd : 2013 : Madrid, Spain)
Workshop on Formal Methods in the Development of Software (3rd : 2013 : Madrid, Spain)
Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (2013 : Madrid, Spain)
International Symposium on Modelling and Knowledge Management for Sustainable Development (2013 : Madrid, Spain)
International Workshop on Foundations and Techniques for Open Source Software Certification (7th : 2013 : Madrid, Spain)

Series

Lecture notes in computer science ; 8368. 1611-3349
LNCS sublibrary. SL 2, Programming and software engineering.

Available in Other Form

Print version: 9783319050317