Design and Evaluation of an Environment to Automate the Construction of Inductive Applications.

Akihiro Suyama, Naoya Negishi, Takahira Yamaguchi

Browse the full DIS paper archive.