Skip to product information
Lecture Notes in Computer Science
  • Lecture Notes in Computer Science
Lecture Notes in Computer Science: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Lecture Notes in Computer Science: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

$76.49 $84.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Glässer, Uwe; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. 


The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. 

Details

Published by: Springer

Publication Date: 2023-05-15

Format: Paperback

ISBN-13: 9783031331626

DOI: 10.1007/978-3-031-33163-3

Dimensions: 235cm x155cm

Pages: 380

You may also like