author = {Muhammad Taimoor Khan},}
title = {{On the Formal Semantics of MiniMaple and its Specification Language}},
booktitle = {{Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT 2012)}},
language = {english},
pages = {00--00},
publisher = {IEEE Digital Library},
isbn_issn = {xxx},
year = {2012},
month = {December},
editor = {xxx},
refereed = {yes},
length = {0}