[IEEE 2012 10th International Conference on Frontiers of Information Technology (FIT 2012) - Islamabad, Pakistan (2012.12.17-2012.12.19)] 2012 10th International Conference on Frontiers of Information Technology - On the Formal Semantics of MiniMaple and its Specification Language
Khan, Muhammad TaimoorYear:
2012
Language:
english
DOI:
10.1109/fit.2012.38
File:
PDF, 175 KB
english, 2012