Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling,...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Reynolds, Andrew (Editor), Tasiran, Serdar (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edition:	1st ed. 2024.
Series:	Lecture Notes in Computer Science, 14095
Subjects:	Computer science. Computers. Software engineering. Computer systems. Computers, Special purpose. Logic programming. Computer Science Logic and Foundations of Programming. Computer Hardware. Software Engineering. Computer System Implementation. Special Purpose and Application-Based Systems. Logic in AI.
Online Access:	https://doi.org/10.1007/978-3-031-66064-1
Tags:	Add Tag No Tags, Be the first to tag this record!