Home / Authors / T. Nipkow, O. Grumberg, B. Hauptmann

Books by T. Nipkow, O. Grumberg, B. Hauptmann

All books by this author

1 books found
Software Safety and Security: Tools for Analysis and Verification (Nato Science for Peace and Security)
Software Safety and Security: Tools for Analysis and Verif…
By: T. Nipkow, O. Grumberg, B. Hauptmann
View Details