Loading…
Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings /
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with 2 invited talks presented were carefully reviewed and selected from 38 submis...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2007.
Berlin ; New York : [2007] |
Series: | Lecture notes in computer science ;
4789. LNCS sublibrary. Programming and software engineering. |
Physical Description: |
1 online resource (x, 386 pages) : illustrations. |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
Copy 1 | CMU Electronic Access | Available |
---|