K.Cuthbertson, D.Nitzsche 1 Version 1/9/2001 FINANCIAL ENGINEERING: DERIVATIVES AND RISK MANAGEMENT (J. Wiley, 2001) K. Cuthbertson and D. Nitzsche LECTURE.
1 How to transform an abstract analyzer into an abstract verifier.
