On the Formal Semantics of MiniMaple and its Specification Language

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT 2012)
Seiten	169-174
Seitenumfang	6
DOIs	https://doi.org/10.1109/FIT.2012.38
Publikationsstatus	Veröffentlicht - Dez. 2012

Wissenschaftszweige

@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 -