Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Antoine Miné

978-1-68083-386-7

99.00 USD