Languages for Embedded Systems and their Applications: Selected Contributions on Specification Design and Verification from FDL’08

$23.00