On the Formal Semantics of MiniMaple and its Specification Language

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT 2012)
Pages	169-174
Number of pages	6
DOIs	https://doi.org/10.1109/FIT.2012.38
Publication status	Published - Dec 2012

Fields of science

@inproceedings{92692664801f43e790bbe151ca4b8136,

title = "On the Formal Semantics of MiniMaple and its Specification Language",

author = "Khan, \{Muhammad Taimoor\}",

year = "2012",

month = dec,

doi = "10.1109/FIT.2012.38",

language = "English",

isbn = "9780769549279",

pages = "169--174",

booktitle = "Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT 2012)",

}

TY - GEN

T1 - On the Formal Semantics of MiniMaple and its Specification Language

AU - Khan, Muhammad Taimoor

PY - 2012/12

Y1 - 2012/12

UR - https://www.scopus.com/pages/publications/84874140063

U2 - 10.1109/FIT.2012.38

DO - 10.1109/FIT.2012.38

M3 - Conference proceedings

SN - 9780769549279

SP - 169

EP - 174

BT - Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT 2012)

ER -