Integrated formal methods
Subtitle: 5th international conference, IFM 2005, Einhoven, The Netherlands, November 29 - December 2, 2005 : proceedings
By: Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).
Contributors: Romijn, Judi.; Pol, Jaco van de.; Smith, Graeme, 1966-; LINK (Online service)
Series: Lecture notes in computer science -- 3771.
Publisher: Springer
Published: 2005
Place of publication: Berlin
Language: eng
Format: Electronic resource
Number of pages: 405
Subjects: Formal methods (Computer science) -- Congresses
Genres: Congresses.
Other titles: IFM 2005.
Notes: Title from title screen (viewed November 1, 2005)

Electronic book available via Springer Link.

Print version originally published in 2005.

Includes bibliographical references and index.

Access restricted to subscribing institutions.

Print version also available.

Mode of access: World Wide Web.

System requirements: Adobe Acrobat required to view PDF document.