scientific article; zbMATH DE number 1949595

MaRDI QIDQ4412489zbMATH OpenFDO

Authors Kenji Taguchi, Jin-Song Dong

Publication date 15 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950144.htm

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2161773
• State-bases approaches: from Z to Object-Z
• scientific article; zbMATH DE number 1409638
• scientific article; zbMATH DE number 1231658
• scientific article; zbMATH DE number 2013343

Cited in

(1)

• scientific article; zbMATH DE number 2161773 (Why is no real title available?)

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 Q4412489)