Environment Generator for Java PathFinder

Abstract

Environment Generator for Java PathFinder, [http://dsrg.mff.cuni.cz/projects/envgen]

Keywords

• Environment
• Generator
• PathFinder