A structured approach to static semantics correctness
From MaRDI portal
Publication:1054459
DOI10.1016/0167-6423(83)90022-9zbMath0519.68015MaRDI QIDQ1054459
Publication date: 1983
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(83)90022-9
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items