Conditional narrowing modulo SMT and axioms

  1. Aguirre, L.
  2. Martí-Oliet, N.
  3. Palomino, M.
  4. Pita, I.
Actas:
ACM International Conference Proceeding Series

ISBN: 9781450352918

Año de publicación: 2017

Volumen: Part F131196

Páginas: 17-28

Tipo: Aportación congreso

DOI: 10.1145/3131851.3131856 GOOGLE SCHOLAR
Fuente de los datos: Scopus