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

[szefirov at ot.ru]

Benjamin Franksen wrote:

>szefirov at 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