Legunsen, O., Al Awar, N., Xu, X., Hassan, W. U., Roşu, G., & Marinov, D. (2019). How effective are existing Java API specifications for finding bugs during runtime verification? Automated software engineering, 26(4), 795-837. https://doi.org/10.1007/s10515-019-00267-1
Citácia podle Chicago (17th ed.)Legunsen, Owolabi, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Roşu, a Darko Marinov. "How Effective Are Existing Java API Specifications for Finding Bugs During Runtime Verification?" Automated Software Engineering 26, no. 4 (2019): 795-837. https://doi.org/10.1007/s10515-019-00267-1.
Citácia podľa MLA (8th ed.)Legunsen, Owolabi, et al. "How Effective Are Existing Java API Specifications for Finding Bugs During Runtime Verification?" Automated Software Engineering, vol. 26, no. 4, 2019, pp. 795-837, https://doi.org/10.1007/s10515-019-00267-1.