TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-030-89159-6
DO  - doi
AB  - 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.
T1  - Leveraging 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 /
DA  - 2021.
CY  - Cham :
AU  - Margaria-Steffen, Tiziana,
AU  - Steffen, Bernhard.
VL  - 13036
CN  - QA76.9.F67
PB  - Springer,
PP  - Cham :
PY  - 2021.
N1  - 5 Lessons Learned and Implications.
N1  - Includes author index.
ID  - 1440355
KW  - Formal methods (Computer science)
KW  - Computer software
KW  - Software engineering
KW  - Méthodes formelles (Informatique)
KW  - Logiciels
KW  - Génie logiciel
SN  - 9783030891596
SN  - 3030891593
TI  - Leveraging 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 /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-89159-6
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-89159-6
ER  -