Bartocci, E., Kovács, L., & Stankovič, M. (2020). Mora - Automatic Generation of Moment-Based Invariants. Tools and Algorithms for the Construction and Analysis of Systems.
শিকাগো স্টাইলে সাইটেশনBartocci, Ezio, Laura Kovács, এবং Miroslav Stankovič. "Mora - Automatic Generation of Moment-Based Invariants." Tools and Algorithms for the Construction and Analysis of Systems 2020.
এমএলএ সাইটেশনBartocci, Ezio, Laura Kovács, এবং Miroslav Stankovič. "Mora - Automatic Generation of Moment-Based Invariants." Tools and Algorithms for the Construction and Analysis of Systems 2020.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.