Harnessing Theories for Tool Support.

Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang

Browse the full ISoLA paper archive.