Formal Translation Directed by Parallel

Ladislav Vagner, Borivoj Melichar

Browse the full SOFSEM paper archive.