book: Formal Analysis
Accessible Requires Authentication Published by De Gruyter 2021

Formal Analysis

An Introduction

Xiao-Xiong Gan
Volume 80 in the series De Gruyter Studies in Mathematics