2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)

Författare
Stefania Gnesi
Språk
Okänt
Förlag År Ort Om boken ISBN
IEEE uuuu-uuuu Utgivningsland okänt / Ej specificerat