Can I read FME'96: Industrial Benefit and Advances in Formal Methods Volume 1051 on EtoBox?

FME'96: Industrial Benefit and Advances in Formal Methods Volume 1051 by Gaudel, Marie-Claude; Woodcock, James is a scholarly article available to read on EtoBox.

What is FME'96: Industrial Benefit and Advances in Formal Methods Volume 1051 about?

<p><P>This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations.<br>The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.</p>

Author

Gaudel, Marie-Claude; Woodcock, James

Publisher

Springer Berlin Heidelberg

Published

1996

Language

EN

ISBN

9783540609735