Model checking software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /

• 作者：edited by Georgiana Caltais, Christian Schilling.
• 出版者：Springer Nature Switzerland : Imprint: Springer
• 出版地：Cham :
• 語文：英語
• 叢書名：Lecture notes in computer science,
• 主題：SPIN (Computer file)
• 電子資源：https://doi.org/10.1007/978-3-031-32157-3
• ISBN/ISSN/ISRC：9783031321573 ; 9783031321566
• 作者：Caltais, Georgiana.;Schilling, Christian.
• 索書號：005.14