Behavioral Safety in a Model With Multiple Class Objects.

Tomas Hruska, Petr Kolencik, Michal Mcel

Browse the full SOFSEM paper archive.