Cited By
View all- Arceri VDolcetti GZaffanella E(2024)Speeding up static analysis with the split operatorInternational Journal on Software Tools for Technology Transfer10.1007/s10009-024-00761-2Online publication date: 27-Aug-2024
- Olivieri LSpoto F(2024)Software verification challenges in the blockchain ecosystemInternational Journal on Software Tools for Technology Transfer10.1007/s10009-024-00758-x26:4(431-444)Online publication date: 12-Jul-2024
- Negrini LArceri VCortesi AFerrara P(2024) Tarsis : An effective automata‐based abstract domain for string analysis Journal of Software: Evolution and Process10.1002/smr.2647Online publication date: 14-Feb-2024