Using the Base Semantics given by fUML for Verification.

Alessandro Gerlinger Romero, Klaus Schneider, Maurcio Gonalves Vieira Ferreira

Browse the full MODELSWARD paper archive.