debris 发表于 2025-4-1 05:55:31

http://reply.papertrans.cn/83/8247/824681/824681_61.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Refinement in Z and Object-Z; Foundations and Adva John Derrick,Eerke Boiten Book 20011st edition Springer-Verlag London 2001 Formal Method