Model Checking Object-Z Using ASM.

Kirsten Winter, Roger Duke

Browse the full IFM paper archive.