scientific article; zbMATH DE number 4115923
From MaRDI portal
Publication:4730751
zbMath0681.68016MaRDI QIDQ4730751
Shinobu Takamatsu, Fujio Nishida, Yoneharu Fujita
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of software (68N99)
This page was built for publication:
