On the Design of Program Logics

Lecture notes in computer science 2026

View at publisher

Authors: Patrick M. Cousot

DOI: 10.1007/978-3-032-13711-1_6

Cited by: 0

References: 17

Fields of Study & Subjects

Logic programming and type systems Formal Methods in Verification Software Testing and Debugging Techniques

References 17