Philipp Rümmer

Books that list Philipp Rümmer among their authors but not as the lead author: co-written works, collections and compilations.

Verified Software. Theories, Tools, and ExperimentsRuzica Piskac

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac · 2018