[EMAIL PROTECTED] 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? Thanks Ben _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe