Integrated Formal Methods

From MaRDI portal

Revision as of 05:00, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5901618

Jump to:navigation, search

DOI10.1007/b96106zbMath1196.03028OpenAlexW1531155000MaRDI QIDQ5901618

Yifeng Chen, Zhi-Ming Liu

Publication date: 7 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96106

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Pointfree expression and calculation: From quantification to temporal logic

This page was built for publication: Integrated Formal Methods

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5901618&oldid=17060603"