Personensuche
X
?
6
Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
?
9
Sustainable bio- and organocatalytic syntheses of enantiome..
= Nachhaltige bio- und organokatalytische Synthese von enan...