ISO形式描述语言LOTOS  

作　　者：闵京华 

出　　处：《中国计算机用户》1990年第9期28-31,共4页China Computer Users

关 键 词：ISO LOTOS语言 形式描述语言 

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