CAFE: An Industrial-Strength Algebraic Formal Method

Författare
K. Futatsugi
Språk
Engelska
Förlag År Ort Om boken ISBN
Elsevier Science B.V. 2000 Utgivningsland okänt / Ej specificerat