M.T. Khan, On the Formal Semantics of MiniMaple and its Specification Language
In: Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT), 2012, pp. 169-174, IEEE Computer Society.
DOI 10.1109/FIT.2012.38
06424317-1.pdf
—
PDF document,
174 KB (178935 bytes)