Conditional narrowing modulo SMT and axioms
- Aguirre, L.
- Martí-Oliet, N.
- Palomino, M.
- Pita, I.
Actes:
ACM International Conference Proceeding Series
ISBN: 9781450352918
Any de publicació: 2017
Volum: Part F131196
Pàgines: 17-28
Tipus: Aportació congrés