A System for Translating Executable VDM Specifications into Lazy ML

MLA

Silvio Romero de Lemos Meira, and Paulo Borba. “A System for Translating Executable VDM Specifications into Lazy ML.” Software: Practice and Experience, vol. 27, Mar. 1997, pp. 271–89. EBSCOhost, https://doi.org/10.1002/(sici)1097-024x(199703)27:3<271::aid-spe84>3.0.co;2-t.

APA

Silvio Romero de Lemos Meira, & Paulo Borba. (1997). A System for Translating Executable VDM Specifications into Lazy ML. Software: Practice and Experience, 27, 271–289. https://doi.org/10.1002/(sici)1097-024x(199703)27:3<271::aid-spe84>3.0.co;2-t

Chicago

Silvio Romero de Lemos Meira, and Paulo Borba. 1997. “A System for Translating Executable VDM Specifications into Lazy ML.” Software: Practice and Experience 27 (March): 271–89. doi:10.1002/(sici)1097-024x(199703)27:3<271::aid-spe84>3.0.co;2-t.