Implicit and explicit semantics integration in proof-based developments of discrete systems communications of NII Shonan Meetings /

• 作者：edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Mery.
• 出版者：Springer Nature Singapore : Imprint: Springer
• 出版地：Singapore :
• 語文：英語
• 電子資源：https://doi.org/10.1007/978-981-15-5054-6
• ISBN/ISSN/ISRC：9789811550546 ; 9789811550539
• 作者：Ait-Ameur, Yamine.;Nakajima, Shin.;Mery, Dominique.
• 索書號：004.0151