Neider, D., & Roy, R. (2025). What is Formal Verification without Specifications? A Survey on mining LTL Specifications.
Style de citation Chicago (17e éd.)Neider, Daniel, et Rajarshi Roy. What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications. 2025.
Style de citation MLA (9e éd.)Neider, Daniel, et Rajarshi Roy. What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.