Formal specification of Catalysis frameworks.

Juliana Kster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills

Browse the full APSEC paper archive.