Home / Publishers / Stanford University, Dept. of Computer Science

Books by Publisher: Stanford University, Dept. of Computer Science

All books from this publisher

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