FormaliSE 2018 : 2018 ACM/IEEE Conference on Formal Methods in Software Engineering : proceedings : Gothenburg, Sweden, 2 June 2018 / IEEE Computer Society
- Författare
- Sweden) 2018 : (6th FME Workshop on Formal Methods in Software Engineering Göteborg
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-1-4503-5718-0 |