Syntax-Driven Program Verification of Matching Logic Properties.

Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi

Browse the full ICSE paper archive.