scientific article; zbMATH DE number 5079663

MaRDI QIDQ3411657zbMATH OpenFDO

Authors Jun Yang, Haitong Ge, Feijun Zheng, Xiaolang Yan

Publication date 11 December 2006

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Nonnumerical algorithms (68W05)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3411657)