Deductive Software Verification : Future PerspectivesWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich · First published 2020Open the Tome
TYPO3-ExtensionsAlexander Ebner, Patrick Lobacher, Bernhard Ulbrich · First published 2010Open the Tome
Enzymatische Untersuchungen zur Biosynthese der Hydroxycinnamoylchinasäuren und der HydroxycinnamoylshikimisäurenBernhard Ulbrich · First published 1979Open the Tome
