Checking Object System Designs Incrementally

Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger. Checking Object System Designs Incrementally. J. UCS, 9(2):106-119, 2003. [doi]

Abstract

Abstract is missing.