9 Feb
2007
9 Feb
'07
2:42 a.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