ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems.

Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui

Browse the full ICSoft paper archive.