FM 2006 [electronic resource] : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
©2006.
|
| Series: | Lecture notes in computer science ;
4085. |
| Subjects: |
| Physical Description: | xv, 620 pages : illustrations ; 24 cm. |
|---|---|
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 3540372156 9783540372158 |
| Action Note: | committed to retain 20230101 20480101 Alliance Shared Trust https://www.coalliance.org/shared-print-archiving-policies. |