Proceedings / International Conference on Formal Engineering Methods.
Saved in:
| Online Access: |
Request a PDF (UCB only) |
|---|---|
| New Title: | Formal methods and software engineering. |
| Corporate Authors: | , , |
| Other title: | International Conference on Formal Engineering Methods. IEEE International Conference on Formal Engineering Methods. Formal engineering methods. ICFEM. |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
Los Alamitos, Calif. :
IEEE Computer Society,
©1997-
|
| Subjects: |
Internet
Request a PDF (UCB only)PASCAL Offsite
| Call Number: |
TA5 .I573
|
|---|---|
| Volume Holdings: |
v.2 (1998) - v.3 (2000) |
| TA5 .I573 (2nd 1998) | Available Place a Hold |
| TA5 .I573 (3rd 2000) | Available Place a Hold |