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
Chicago-Zitierstil (17. Ausg.)Hussain, F., und 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.
MLA-Zitierstil (9. Ausg.)Hussain, F., und 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.