Del 15696Tools and Algorithms for the Construction and Analysis of SystemsArie Gurfinkel, Marijn HeuleHäftad450 kr