Anzeige
Hol-OCL.
HOL-OCL ist eine interaktive Proof-Umgebung für die Objektbegrenzungssprache (OCL). ...
Einbetten flache Einbetten. Logik höherer Ordnung Beweiswelt Hol-OCL.
Anzeige
HOL-OCL ist eine interaktive Proof-Umgebung für die Objektbegrenzungssprache (OCL). ...
Einbetten flache Einbetten. Logik höherer Ordnung Beweiswelt Hol-OCL.
Über uns