FME 2001: Formal Methods for Increasing Software Productivity
Subtitle: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings (Lecture Notes in Computer Science)
Contributors: Jose N. Oliveira (Editor); Pamela Zave (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 26, 2001
Language: eng
Format: Paperback
Number of pages: 629
ISBN-13: 9783540417910
Subjects: Software engineering; Formal Language Theory; Software Development; Computers; Computers - General Information; Computer Books: General; Logic; Logic Design; Computers / Logic Design; Formal Methods; Formal Specification; Model Checking; Program Analysis; Refinement; Safety-Critical Systems; Software Patterns; Computer Science; Programming - Software Development; Computer software; Congresses; Development