Volume: Vol-4122 STAF-WS 2025 | Year: 2025

Paper: « paper3 | short2 | paper4 »

Verifying OCL pre/post condition using Cyclone

• YueLou Ding
• Hao Wu

PDF