Skip to content

KODEGEN: A Code Generation and Testing Tool Using Runnable Knowledge.

Iaakov Exman, Anton Litovka, Reuven Yagel

VenueCIC3K
Year2013
ProceedingsIC3K

Browse the full IC3K paper archive.