Generátor prostředí pro Java PathFinder

Abstrakt

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