Author: Thomas Tuegel

Categories

All Articles Audits K ERCx News Smart Contracts Verification

Code smell: Boolean blindness

by Thomas Tuegel

March 7th, 2019

Audits by formal methods experts.

Mission and Vision Presentations Careers News Publications Partnerships Media Kit Events

	
		OSZAR »