8 Feb
2007
8 Feb
'07
4:12 p.m.
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? Thanks Ben