Refinement and Modular Verification with Observers

Agathe Merceron, G. Michele Pinna. Refinement and Modular Verification with Observers. In 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings. pages 216-225, IEEE Computer Society, 2000. [doi]

Abstract

Abstract is missing.