EasyChair Smart Slide
A FOOLish Encoding of the Next State Relations of Imperative Programs
A FOOLish Encoding of the Next State Relations of Imperative Programs