(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.
استشهاد بنمط شيكاغوRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
MLA استشهادRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.