Showing 1 - 2 results of 2 for search 'Michele Chiari', query time: 0.02s
Refine Results
-
1
A First-Order Complete Temporal Logic for Structured Context-Free Languages by Michele Chiari, Dino Mandrioli, Matteo Pradella
Published 2022-07-01
Article -
2
TAFFO: The compiler-based precision tuner by Daniele Cattaneo, Michele Chiari, Giovanni Agosta, Stefano Cherubin
Published 2022-12-01
Article