Smarter smart contract development tools.

Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers

Browse the full ICSE paper archive.