Articles with public access mandates - Francisco TruccoLearn more
Available somewhere: 2
Mechanizing bisimulation theorems for relation-changing logics in Coq
R Fervari, F Trucco, B Ziliani
Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020
Mandates: Government of Argentina
Verification of dynamic bisimulation theorems in Coq
R Fervari, F Trucco, B Ziliani
Journal of Logical and Algebraic Methods in Programming 120, 100642, 2021
Mandates: Government of Argentina
Publication and funding information is determined automatically by a computer program