FME '96: Industrial Benefit and Advances in Formal Methods: ...
Preview
Marie-Claude Gaudel, Jim Woodcock. The invited speakers are C.A.R. Hoare, from Oxford University, Terje Siversten, from the OECD Halden Reactor Project in Norway, and Jan Peleska, from JP Software-Consulting and the University of ...