Order

978-1-68083-386-7

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Antoine Miné

978-1-68083-386-7

99.00 USD