Bibliographic Details
| Corporate Authors: |
International Conference on Formal Engineering Methods Boca Raton, Fla.,
SpringerLink (Online service) |
|---|
| Other Authors: |
Butler, Michael, 1967-,
Hinchey, Michael G. (Michael Gerard), 1969-,
Larrondo-Petrie, María M. |
|---|
| Format: | Conference Proceeding
eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin ; New York :
Springer,
[2007]
|
|---|
| Series: | LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science.
4789.
|
|---|
| Subjects: | |
|---|
| Online Access: | Connect to the full text of this electronic book
|
|---|