Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Maurice H. Ter Beek | lit.salon

Maurice H. Ter Beek

No biography is available for this author yet.

Books by Maurice H. Ter Beek

Critical Systems : Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2016

Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp