FormaliSE 2016 : proceedings, 4th FME Workshop on Formal Methods in Software Engineering : 15 May 2016, Austin, Texas, USA / sponsor, ACM
- Författare
- Tex.) 2016 : (4th FME Workshop on Formal Methods in Software Engineering Austin
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| ACM | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |