Affordable Access

Access to the full text

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

Authors
  • Ait-Ameur, Yamine
  • Nakajima, Shin
  • Méry, Dominique
  • Gibson, J. Paul
  • Raffy, Jean-Luc
  • Hoang, Thai Son
  • Voisin, Laurent
  • Butler, Michael
  • Tueno, Steve
  • Laleau, Régine
  • Mammar, Amel
  • Frappier, Marc
  • Casanova, Marco A.
  • Magalhães, Rômulo C.
  • Singh, Neeraj Kumar
  • Ait-Ameur, Yamine
  • Méry, Dominique
  • Vistbakka, Inna
  • Troubitsyna, Elena
  • Schewe, Klaus-Dieter
  • And 19 more
Type
Book
Identifiers
DOI: 10.1007/978-981-15-5054-6
ISBN: 978-981-15-5053-9
Source
Springer Nature
License
Yellow
Report this publication

Statistics

Seen <100 times