Screen LibraryLeveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, proceedings /
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, a...
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
Springer,
|
| Publisher Address: | Cham : |
| Publication Dates: | [2021] |
| Literature type: | Book |
| Language: | English |
| Series: |
Lecture notes in computer science,
13036 LNCS sublibrary, SL 1, Theoretical computer science and general issues |
| Subjects: | |
| Summary: |
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems. |
| Carrier Form: | xii, 504 pages : illustrations ; 24 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9783030891589 3030891585 303083722X 9783030837228 |
| Index Number: | QA76 |
| CLC: | TP301-532 |
| Call Number: | TP301-532/L659/2021 |