scientific article; zbMATH DE number 2219131
From MaRDI portal
Publication:5697794
zbMath1115.68457MaRDI QIDQ5697794
Tinting Han, Chun Yu, Jian Lu, Taolue Chen
Publication date: 27 October 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
This page was built for publication: