300404 - Formal Software Engineering

1 Item(s)

Principles of Model Checking

Christel Baier

ISBN : 9780262026499