1. Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings /: communications of NII Shonan Meetings. ([2021]) Editors: Aït-Ameur, Yamine; Nakajima, Shin; Méry, Dominique Record Type: Book Extent: 1 online resource (xii, 346 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗