Cheng, XiaochunXiaochunChengFairtlough, MattMattFairtloughMendler, MichaelMichaelMendler2019-09-192014-09-242001https://fis.uni-bamberg.de/handle/uniba/10127engProofs as constraints for abstraction and refinementconferenceobject