Cite
Experiences Using Lightweight Formal Methods for Requirements Modeling.
MLA
Easterbrook, Steve, et al. “Experiences Using Lightweight Formal Methods for Requirements Modeling.” IEEE Transactions on Software Engineering, vol. 24, no. 1, Jan. 1998, pp. 4–14. EBSCOhost, https://doi.org/10.1109/32.663994.
APA
Easterbrook, S., Lutz, R., Covington, R., Kelly, J., Appo, Y., & Hamilton, D. (1998). Experiences Using Lightweight Formal Methods for Requirements Modeling. IEEE Transactions on Software Engineering, 24(1), 4–14. https://doi.org/10.1109/32.663994
Chicago
Easterbrook, Steve, Robyn Lutz, Richard Covington, John Kelly, Yoko Appo, and David Hamilton. 1998. “Experiences Using Lightweight Formal Methods for Requirements Modeling.” IEEE Transactions on Software Engineering 24 (1): 4–14. doi:10.1109/32.663994.