Re: [Haskell-cafe] Re: State of OOP in Haskell

Benjamin Franksen wrote:

szefirov@ot.ru wrote:

...

Here are two surveys (somewhat outdated) on the use of formal methods in industry: http://citeseer.ifi.unizh.ch/39426.html http://citeseer.ifi.unizh.ch/craigen93international.html

Both of these links are dead. Could you post author and title?

Those are alive at the moment of email composing: http://citeseer.ist.psu.edu/39426.html *An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions (1993)* Dan Craigen, Susan Gerhart, Ted Ralston http://citeseer.ist.psu.edu/craigen93international.html *An International Survey of Industrial Applications of Formal Methods Volume 2 Case Studies (1993)* Dan Craigen, Susan Gerhart, Ted Ralston