FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe , Barcelona, Spain, October 24-28, 1994 : Proceedings

Front Cover
Springer-Verlag, 1994 - Computers - 723 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


Invited Lectures
Formal Methods in the Railways Signalling Industry
Formalising British Rails Signalling Rules

35 other sections not shown

Other editions - View all

Common terms and phrases

About the author (1994)

Maurice Naftalin is Director of Software Development at Morningside Light Ltd., a software consultancy in the United Kingdom. Maurice consults mainly in object-oriented technologies and teaches Java classes part-time at Learning Tree. He has three decades' experience as a programmer, team leader, and commercial trainer.

Bibliographic information