Ernst, G. (2026). A Weakest Precondition Calculus for Programs and Linear Temporal Specifications.
Citazione stile Chigago Style (17a edizione)Ernst, Gidon. A Weakest Precondition Calculus for Programs and Linear Temporal Specifications. 2026.
Citatione MLA (9a ed.)Ernst, Gidon. A Weakest Precondition Calculus for Programs and Linear Temporal Specifications. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.