An Analysis of Two Formal Methods: RSL and Z  

作　　者：CHEN Yi-hai 

出　　处：《Journal of Shanghai University(English Edition)》2001年第z1期172-176,共5页上海大学学报（英文版）

基　　金：Supported by The National Natural Science Foundation (No. 69773038) and American Applied Material Foundation

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]