\textit{Once} and \textit{for all}

From MaRDI portal
Publication:439961

DOI10.1016/j.jcss.2011.08.006zbMath1245.03022OpenAlexW2165306422MaRDI QIDQ439961

Moshe Y. Vardi, Amir Pnueli, Orna Kupferman

Publication date: 17 August 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.08.006




Related Items (9)




Cites Work




This page was built for publication: \textit{Once} and \textit{for all}