Cuellar, J. (2017). FM 2008: Formal Methods. Springer.
استشهاد بنمط شيكاغوCuellar, Jorge. FM 2008: Formal Methods. Springer, 2017.
MLA استشهادCuellar, Jorge. FM 2008: Formal Methods. Springer, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.