Proceedings / International Conference on Software Engineering and Formal Methods.
| Author/creator | International Conference on Software Engineering and Formal Methods |
| Other author | IEEE Computer Society. |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos, Calif. : IEEE Computer Society, ℗♭2003- |
| Supplemental Content | Click here for full text |
| Subjects |
| Uniform title | Proceedings (Online) |
| Variant title | International Conference on Software Engineering and Formal Methods proceedings |
| Variant title | Also called: SEFM |
| Running title | Proceedings of the ... International Conference on Software Engineering and Formal Methods |
| Variant title | Title on IEEExplore conference web page: Software Engineering and Formal Methods (SEFM), International Conference on |
| Variant title | Software Engineering and Formal Methods proceedings |
| Frequency | Annual |
| Access restriction | Available only to authorized users. |
| Other forms | Also available in print. |
| Technical details | Mode of access: World Wide Web. |
| Source of description | First issue; title from PDF of title page (IEEExplore, viewed September 30, 2008). |
| Issued in other form | Print version: International Conference on Software Engineering and Formal Methods. Proceedings 1551-0255 |
| Genre/form | Electronic journals. |
| LCCN | 2005262224 2008242332 |
| ISSN | 2160-7656 1551-0255 |
| Stock number | IEEE, 445 Hoes Ln. Piscataway, NJ 08854 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |