Verbund zwischen Dentin und Befestigungskomposit in Abhängigkeit vom Härtungsmodus des Dentinhaftvermittlers

von Lenzen, Philipp
Veröffentlicht 20042005

K and KIV: Towards Deductive Verification for Arbitrary Programming Languages

von Klumpp, Dominik
Veröffentlicht in WADT (25. : 2020 : Online) Recent Trends in Algebraic Development Techniques (2021)