[IEEE 2015 10th Computing Colombian Conference (10CCC) - Bogota, Colombia (2015.9.21-2015.9.25)] 2015 10th Computing Colombian Conference (10CCC) - Executable calculational specifications
Chaves, Francisco; Rocha, Camilo
- 作者Chaves, Francisco; Rocha, Camilo
- 文件大小153.67KB
- 发表时间2015
- DOI10.1109/columbiancc.2015.7333398
- 页码1-8