The treewidth of smart contracts.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady

Browse the full SAC paper archive.