JLiSA at SV-COMP 2026
Speaker: Pietro Ferrara
Affiliation: Ca’ Foscari University of Venice
Type: Scientific Talk
Abstract
Preliminary topic: probably something about JLiSA at SV-COMP 2026. Final title and abstract to be confirmed.
Speaker: Pietro Ferrara
Affiliation: Ca’ Foscari University of Venice
Type: Scientific Talk
Preliminary topic: probably something about JLiSA at SV-COMP 2026. Final title and abstract to be confirmed.