scientific article
From MaRDI portal
Publication:3626567
zbMath1165.68407MaRDI QIDQ3626567
Yasuo Ikeda, Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio
Publication date: 22 May 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Proof theory and constructive mathematics (03F99)
This page was built for publication: