book: Formal Analysis
Zugänglich Erfordert eine Authentifizierung Veröffentlicht von De Gruyter 2021

Formal Analysis

An Introduction

Xiao-Xiong Gan