Free Download Software Engineering and Formal Methods (Lecture Notes in Computer Science) by Domenico Bianculli
English | November 12, 2025 | ISBN: 3032104432 | 298 pages | True ePUB, PDF | 37 Mb
The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.
Code:
Bitte
Anmelden
oder
Registrieren
um Code Inhalt zu sehen!
