A Multi-Lingual Synthesis and Verification Environment.

George Economakos, Stergios Stergiou, George K. Papakonstantinou, Vassilios Zoukos

Browse the full DSD paper archive.