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

Yamine Aït-Ameur (1, 2) , Shin Nakajima (3) , Dominique Méry (4, 5, 6)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 Toulouse INP - Institut National Polytechnique (Toulouse)
3 NII - National Institute of Informatics
4 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
5 TELECOM Nancy
6 MOSEL - Proof-oriented development of computer-based systems

Domaines: Génie logiciel [cs.SE]; Théorie et langage formel [cs.FL]; Logique en informatique [cs.LO]; Algorithme et structure de données [cs.DS]

Yamine Aït-Ameur, Shin Nakajima, Dominique Méry (Dir.). Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems. Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩. ⟨hal-02910199⟩