Generátor prostředí pro Java PathFinder

Abstrakt

Generátor prostředí pro Java PathFinder, [http://dsrg.mff.cuni.cz/projects/envgen]

Klíčová slova

• Environment
• Generator
• PathFinder