Abstract: Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results