Book By Christel Baier And Joost Pieter Katoen People (First 1 people) - Page 0

Principles of Model Checking

Book by Christel Baier and Joost-Pieter Katoen