Proving correctness of programs with I/O – a paradigm comparison (2001)

by A Butterfield, G Strong
Venue:Proceedings of the 13th International Workshop, IFL2001, volume LNCS2312