Heintze, N., Jaffar, J., Voicu, R., & SCIENCE, C. (2013). Framework for combining analysis and verification.
استشهاد بنمط شيكاغوHeintze, N., J. Jaffar, R. Voicu, و COMPUTER SCIENCE. Framework for Combining Analysis and Verification. 2013.
MLA استشهادHeintze, N., J. Jaffar, R. Voicu, و COMPUTER SCIENCE. Framework for Combining Analysis and Verification. 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.