JINSEONG JEON, XIAOKANG QIUY, FETTER-DEGGES, Jonathan, FOSTER, Jeffrey S. und SOLAR-LEZAMA, Armando, 2016. Synthesizing Framework Models for Symbolic Execution. In: . 14 Mai 2016.
Elsevier - Harvard (with titles)Jinseong Jeon, Xiaokang Qiuy, Fetter-Degges, J., Foster, J.S., Solar-Lezama, A., 2016. Synthesizing Framework Models for Symbolic Execution., in: . https://doi.org/10.1145/2884781.2884856
American Psychological Association 7th editionJinseong Jeon, Xiaokang Qiuy, Fetter-Degges, J., Foster, J. S., & Solar-Lezama, A. (2016, Mai 14). Synthesizing Framework Models for Symbolic Execution. https://doi.org/10.1145/2884781.2884856
Springer - Basic (author-date)Jinseong Jeon, Xiaokang Qiuy, Fetter-Degges J, Foster JS, Solar-Lezama A (2016) Synthesizing Framework Models for Symbolic Execution.
Juristische Zitierweise (Stüber) (Deutsch)Jinseong Jeon/ Xiaokang Qiuy/ Fetter-Degges, Jonathan/ Foster, Jeffrey S./ Solar-Lezama, Armando, Synthesizing Framework Models for Symbolic Execution., 2016, .