Refactoring-Based Stepwise Refinement in Abstract System-Level Design.

Ryosuke Yamasaki, Kazutaka Kobayashi, Nurul Azma Zakaria, Shuji Narazaki, Norihiko Yoshida

Browse the full EUC paper archive.