Formal Methods and Software Engineering [electronic resource] 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / edited by Adrian Riesco, Min Zhang.
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41...
Uniform Title: | Lecture Notes in Computer Science,
1611-3349 ; 13478 |
---|---|
Corporate Author: | |
Other Authors: | |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2022.
|
Edition: | 1st ed. 2022. |
Series: | Lecture Notes in Computer Science,
13478 |
Subjects: | |
Online Access: | |
Variant Title: |
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings |
Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.