Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c2003
Berlin ; New York : ©2003 |
| Series: | Lecture notes in computer science ;
2885 Lecture notes in computer science ; 2885 Lecture notes in computer science 2885 |
| Subjects: |
Internet
Stanford University
| Call Number: |
ISIL:US-CST QA76.9 .F67 I5788 2003 |
|---|
Massachusetts Institute of Technology
| Call Number: |
QA76.9.F67.I5788 2003 |
|---|
Johns Hopkins University
| Call Number: |
QA76.9.F67 I5788 2003 |
|---|
Cornell University
| Call Number: |
QA76.9.F67 I5788 2003 |
|---|
Brown University
| Call Number: |
QA76.9.F67 I5788 2003 |
|---|