Game aspect of program verification
From MaRDI portal
Publication:2457076
zbMath1126.68482MaRDI QIDQ2457076
M. S. Chernichkin, Vasilij N. Lebedev
Publication date: 30 October 2007
Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)
Other game-theoretic models (91A40) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication: Game aspect of program verification
