A formal software development approach using refinement calculus

✍ Scribed by Yunfeng Wang; Jun Pang; Ming Zha; Zhaohui Yang; Guoliang Zheng

• Book ID: 105664524
• Publisher: Springer
• Year: 2001
• Tongue: English
• Weight: 820 KB
• Volume: 16
• Category: Article
• ISSN: 1000-9000
• DOI: 10.1007/bf02943203