Zhang, G., & Zhai, J. (2026). POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference.
Style de citation Chicago (17e éd.)Zhang, Gehao, et Juan Zhai. POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference. 2026.
Style de citation MLA (9e éd.)Zhang, Gehao, et Juan Zhai. POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.