This book constitutes selected revised papers of the 16th International Conference on Formalizing...