Post-proceedings of the Summer School Marktoberdorf: Safety and Security of Software Systems – Logics, Proofs, Applications

Post-proceedings of the Summer School Marktoberdorf: Safety and Security of Software Systems – Logics, Proofs, Applications
DOWNLOAD COVER