Executable Specifications for the Design of Object-Oriented Systems.

Yi Deng, Raimund K. Ege, Wei Sun

Browse the full SEKE paper archive.