A measure of logical complexity of programs
From MaRDI portal
Publication:3959404
DOI10.1016/0096-0551(82)90003-0zbMath0495.68017OpenAlexW2087945583MaRDI QIDQ3959404
N. Parameswaran, John Fuller, S. Sitharama Iyengar
Publication date: 1982
Published in: Computer Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0096-0551(82)90003-0
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
This page was built for publication: A measure of logical complexity of programs