LEMMA公司 1份文件引用(2002) 软件作者： L.Baresi、F.Consorti、M.Di Paola、A.Gargiulo、M.Pezzè 相关软件： MetaEnv；MetaEdit+；Uppaal公司 主要字段： 计算机科学（68-XX）