(
)
Junction
R0507 Vygenerování protokolů z formální kontroly
R05 Posouzení návrhů projektů (helicopter view)