Abstract Code Injection

DOI10.1007/978-3-319-73721-8_6zbMath1446.68029OpenAlexW2777297765MaRDI QIDQ3296325

Isabella Mastroeni, Samuele Buro

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Abstract Code Injection