Beyer, D., & Dangl, M. (2020). Software Verification with PDR: An Implementation of the State of the Art. Tools and Algorithms for the Construction and Analysis of Systems.
استشهاد بنمط شيكاغوBeyer, Dirk, و Matthias Dangl. "Software Verification With PDR: An Implementation of the State of the Art." Tools and Algorithms for the Construction and Analysis of Systems 2020.
MLA استشهادBeyer, Dirk, و Matthias Dangl. "Software Verification With PDR: An Implementation of the State of the Art." Tools and Algorithms for the Construction and Analysis of Systems 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.