Reading Length
Home
Speed Tests
Login
Swen Jacobs
Identifiers
Open Library
OL10256118A
Books by Swen Jacobs
Total count: 1
Decidability of Parameterized Verification
Morgan & Claypool Publishers
2015-01-01