Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Leveraging applications of formal methods, verification and validation : modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part I
- Author / Creator
- Conferences
- ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus)
- Available as
- Online
Details
- Creator
- Tiziana Margaria, Bernhard Steffen (eds.)
- Format
- Books
- Language
- English
- Publication
-
- Cham, Switzerland : Springer, 2018
- Series
- Physical Details
-
- 1 online resource (xv, 588 pages) : illustrations (some color)
- ISBNs
- 9783030034184, 3030034186, 9783030034177
- OCLC
- on1059577974
- International conference proceedings.
- Includes bibliographical references and author index.