HEAL DSpace

Formal specification and verification of the OMA license choice algorithm in the OTS/CafeOBJ method

Αποθετήριο DSpace/Manakin

Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)