Philipp Rümmer

Identifiers

Open LibraryOL7949419A

Books by Philipp Rümmer

Total count: 1

Verified Software. Theories, Tools, and Experiments10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Springer2018-11-24