Non-interference in JML (2005)

by Martijn Warnier, Martijn Oostdijk