Author:Cesar Sanchez

Publications
Induction and K-Induction for Hyperproperties Alberto Bombardelli, Cesar Sanchez and Stefano Tonetta In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning