计算机工程与应用2007，Vol.43Issue(2)：41-42,59,3.
PAR平台从规约出发的算法推导与自动生成
Algorithmic derivation and automatic generation from specification on PAR platform
摘要
关键词
PAR方法/PAR平台/规约/形式推导分类
信息技术与安全科学引用本文复制引用
王昌晶,薛锦云..PAR平台从规约出发的算法推导与自动生成[J].计算机工程与应用,2007,43(2):41-42,59,3.基金项目
国家自然科学基金资助项目(60273092) （60273092）
科技部973重大基础研究发展前期专项资助项目(2003CCA02800) （2003CCA02800）
江西省2004年教学改革课题项目 （）
江西师范大学2005年青年成长基金项目. （）
