A function elimination method for checking satisfiability of arithmetical logics
Contributo in Atti di convegno
Data di Pubblicazione:
2014
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Link alla scheda completa:
Titolo del libro:
Proceedings of the 23th International Workshop on Concurrency, Specification and Programming
Pubblicato in: