scientific article
From MaRDI portal
Publication:3411497
zbMath1111.68491MaRDI QIDQ3411497
Qingguo Xu, Huaikou Miao, Xiangfen Yue
Publication date: 11 December 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonnumerical algorithms (68W05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
