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

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

All books by this author

1 book found ← Back to Search
Software Safety and Security: Tools for Analysis and Verification (Nato Science for Peace and Security)
🇺🇸 United States
Software Safety and Security: Tools for Analysis and Verif…
By: T. Nipkow, O. Grumberg, B. Hauptmann
View Details