https://bostonmcdermott.com/slides/precise-verification/2012-11-17T23:09:01+00:00https://bostonmcdermott.com/slides/cloud-computing/2012-11-17T23:23:12+00:00https://bostonmcdermott.com/slides/save-time-and-money/2012-11-17T23:23:37+00:00https://bostonmcdermott.com/slides/lsi/2016-03-30T04:51:28+00:00