Framework of algorithm correctness in NDADAS

zbMath0800.68559MaRDI QIDQ1180027

S. Singh

Publication date: 27 June 1992

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

zbMATH Keywords

algorithmcorrectnesssoftware engineeringfunctional specificationNDADAS

Mathematics Subject Classification ID

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

Related Items (1)

A problem reduction based approach to discrete optimization algorithm design

This page was built for publication: Framework of algorithm correctness in NDADAS