Home / Authors / Tomas E Uribe

Books by Tomas E Uribe

All books by this author

1 books found
Abstraction-based deductive-algorithmic verification of reactive systems (Report / Stanford University. Dept. of Computer Science)
Abstraction-based deductive-algorithmic verification of rea…
By: Tomas E Uribe
View Details