Dublin Core
Title
Challenges of Software Verification
Creator
Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
Subject
Software Engineering
Publisher
Springer
Date
2023
Format
PDF
Language
English