Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
Saved in:
| Meeting name: | International Conference on Formal Engineering Methods (6th : 2004 : Seattle, Wash.) |
|---|---|
| Imprint: | Berlin : Springer, c2004. |
| Description: | xiii, 500 pages : illustrations ; 24 cm. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 3308 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/5535995 |
