Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

MLA

Ait-Ameur, Dominique Méry, and Shin Nakajima. Implicit and Explicit Semantics Integration In Proof-based Developments of Discrete Systems. Springer Singapore, 2021.

APA

Ait-Ameur, A., Méry, D., & Nakajima, S. (2021). Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems. Springer Singapore.

Chicago

Ait-Ameur, Dominique Méry, and Shin Nakajima. Implicit and Explicit Semantics Integration In Proof-Based Developments of Discrete Systems. : Springer Singapore, 2021.