SSV Research Group

The Software and System Verification group @ Ca’ Foscari University of Venice is a research team focused on static analysis and its applications.

Latest events

All events (10) »