Weaving true-concurrent aspects using constraint solvers

Juliana Kuster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Profiles