Data refinement of mixed specifications: A generalization of UNITY

DOI10.1007/S002360050115zbMath0896.68096OpenAlexW2019182057MaRDI QIDQ1386404

Beverly A. Sanders

Publication date: 24 May 1998

Published in: Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

UNITYmixed specifications

Mathematics Subject Classification ID

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

Related Items (1)

Composing leads-to properties

This page was built for publication: Data refinement of mixed specifications: A generalization of UNITY