Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen, Tim Willemse
₹4,268
Author
Books by Kim Guldstrand Larsen
Showing 1–2 of 2 books
Reachability Problems
Kim Guldstrand Larsen, Igor Potapov
₹4,200
Author
Showing 1–2 of 2 books
Kim Guldstrand Larsen, Tim Willemse
₹4,268
Kim Guldstrand Larsen, Igor Potapov
₹4,200