Evaluation of automated design testing using Alloy

Författare
Johannes Andersson
Språk
Engelska
Förlag År Ort Om boken ISBN
Department of Computer Science, Lund University 2007 Sverige, Lund 42 sidor.