Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings: 14414 (Lecture Notes in Computer Science, 14414)
by: Haniel Barbosa (Editor),Yoni Zohar(Editor)
Publisher:Springer
Edition:1st ed. 2024
Publication Date: 2 Dec. 2023
Language:English
Print Length:175 pages
ISBN-10:3031493419
ISBN-13:9783031493416
Book Description
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
About the Author
未经允许不得转载:电子书百科大全 » Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings: 14414 (Lecture Notes in Computer Science, 14414)
评论前必须登录!
登陆 注册