Loading books…
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape
Springer
$60.32