A higher-order duration calculus and its completeness

zbMath1161.68594MaRDI QIDQ866220

Naijun Zhan

Publication date: 20 February 2007

Published in: Science in China. Series E (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)