KHALEK, Shadi Abdul, GUOWEI YANG, LINGMING ZHANG, MARINOV, Darko und KHURSHID, Sarfraz, 2011. Test Era: A tool for testing Java programs using alloy specifications. In: . IEEE. 1 Januar 2011.
Elsevier - Harvard (with titles)Khalek, S.A., Guowei Yang, Lingming Zhang, Marinov, D., Khurshid, S., 2011. Test Era: A tool for testing Java programs using alloy specifications, in: . IEEE. https://doi.org/10.1109/ase.2011.6100137
American Psychological Association 7th editionKhalek, S. A., Guowei Yang, Lingming Zhang, Marinov, D., & Khurshid, S. (2011, Januar 1). Test Era: A tool for testing Java programs using alloy specifications. https://doi.org/10.1109/ase.2011.6100137
Springer - Basic (author-date)Khalek SA, Guowei Yang, Lingming Zhang, Marinov D, Khurshid S (2011) Test Era: A tool for testing Java programs using alloy specifications. IEEE
Juristische Zitierweise (Stüber) (Deutsch)Khalek, Shadi Abdul/ Guowei Yang/ Lingming Zhang/ Marinov, Darko/ Khurshid, Sarfraz, Test Era: A tool for testing Java programs using alloy specifications, 2011, .