Miguel A. Sanchez-Ordaz

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Consistency Checking

Image Compression

Language Generation

Top Venues

Theory Pract. Log. Program.

Publications

Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. CoRR (2021)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. 21 (6) (2021)