Reading Length
Home
Speed Tests
Login
L. Aceto
Identifiers
Open Library
OL14254788A
Books by L. Aceto
Total count: 1
Reactive Systems
Modelling, Specification and Verification
Cambridge University Press
2010-01-01