Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024. The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The confe...

Olles dieđut

Bibliográfalaš dieđut

Searvvušdahkki:	SpringerLink (Online service)
Eará dahkkit:	Protzenko, Jonathan (Doaimmaheaddji), Raad, Azalea (Doaimmaheaddji)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Preanttus:	1st ed. 2025.
Ráidu:	Lecture Notes in Computer Science, 15525
Fáttát:	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.
Liŋkkat:	https://doi.org/10.1007/978-3-031-86695-1
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!