The description of class is extended and the corresponding Kripke structure is presented by taking general stack of Object-Z as a case.
以Object-Z的通用堆栈类为实例,对类的描述进行扩展,给出了相应的Kripke结构。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号