FME Workshop on Formal Methods in Software Engineering (FormaliSE) proceedings.
| Author/creator | FME Workshop on Formal Methods in Software Engineering |
| Other author | Institute of Electrical and Electronics Engineers. |
| Other author | IEEE Xplore (Online service) |
| Other author | International Conference on Software Engineering. |
| Format | Electronic |
| Publication Info | Piscataway, NJ : Institute of Electrical and Electronics Engineers |
| Supplemental Content | Click here for full text |
| Subjects |
| Uniform title | FME Workshop on Formal Methods in Software Engineering (FormaliSE : Online) |
| Other title | FormaliSE |
| Other title | Formal Methods in Software Engineering (FormaliSE) ... FME Workshop on |
| Variant title | Proceedings, FME Workshop on Formal Methods in Software Engineering |
| Variant title | FME Workshop on Formal Methods in Software Engineering proceedings |
| General note | Co-located with ICSE. |
| Access restriction | Available only to authorized users. |
| Other forms | Also available in print. |
| Technical details | Mode of access: World Wide Web. |
| Source of description | Description based on: 1st (2013); title from PDF front cover (IEEE Xplore, viewed July 22, 2014). |
| Source of description | Latest issue consulted: |
| Issued in other form | Print version: FME Workshop on Formal Methods in Software Engineering. FME Workshop on Formal Methods in Software Engineering 2380-873X |
| Genre/form | Electronic journals. |
| LCCN | 2017202954 |
| ISSN | 2575-5099 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |