Northern Ohio AFP Idea Exchange Sept. 21, 2015 Matt Davies, CTP, AAP Federal Reserve Bank of Dallas 1.
VSR Tutorial English Complete
Abstraction and Approximation via Abstract Interpretation: