Reasoning about procedures as parameters in the language L4

From MaRDI portal
Publication:583874

DOI10.1016/0890-5401(89)90040-0zbMath0692.68011OpenAlexW1990487099MaRDI QIDQ583874

Steven M. German, Edmund M. Clarke, Joseph Y. Halpern

Publication date: 1989

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(89)90040-0




Related Items (4)



Cites Work


This page was built for publication: Reasoning about procedures as parameters in the language L4