Yamine Ait-Ameur, Shin Nakajima, Dominique Méry. <br/><br/>
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings 

 - Singapore  Springer  2021 
<br/><br/><label>ISBN: </label>9789811550546 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering. Mathematical logic. Software Engineering. Mathematical Logic and Foundations.