Home > FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings.
FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings.
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 20 of 40 entries
Chapters/Headings | Author(s) | Pages | Info |
1-17 | |||
18-38 | |||
39-59 | |||
60-73 | |||
74-84 | |||
85-104 | |||
105-119 | |||
120-139 | |||
140-159 | |||
160-178 | |||
179-194 | |||
195-213 | |||
214-227 | |||
228-247 | |||
248-267 | |||
268-286 | |||
287-306 | |||
307-326 | |||
327-346 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 40 entries