Hussain, F., & Leavens, G. T. (2010, September). temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. 2010 8th IEEE International Conference on Software Engineering and Formal Methods, 63-72. https://doi.org/10.1109/SEFM.2010.15
Citace podle Chicago (17th ed.)Hussain, F., a G T. Leavens. "Temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties." 2010 8th IEEE International Conference on Software Engineering and Formal Methods Sep. 2010: 63-72. https://doi.org/10.1109/SEFM.2010.15.
Citace podle MLA (9th ed.)Hussain, F., a G T. Leavens. "Temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties." 2010 8th IEEE International Conference on Software Engineering and Formal Methods, Sep. 2010, pp. 63-72, https://doi.org/10.1109/SEFM.2010.15.