SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods (07-09 September 2005/Koblenz, Germany)

Författare
Bernhard K. Aichernig
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat 978-1-5090-9654-1