La especificación formal en contexto: actual y futuro

• 期刊名称Ingeniare. Revista chilena de ingeniería
• 作者Serna M, Edgar; Serna A, Alexei
• 卷第22卷
• 期第2期
• 电子ISSN0718-3305
• 文件大小1543.62KB
• 发表时间2014-04
• DOI10.4067/S0718-33052014000200010
• 页码243-256