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
Citace 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.
Citace podle MLA (9th 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.