FM'99: World Congress on Formal Methods 20-24 September 1999,Toulouse, France http://www.cert.fr/fm99 Contact: Dines Bjorner db@it.dtu.dk
FM'99: World Congress on Formal Methods
20-24 September 1999,Toulouse, France
http://www.cert.fr/fm99
Contact: Dines Bjorner db@it.dtu.dk