L. Florea, B. Halldórsson, O. Kohlbacher, R. Schwartz, S. Hoffman, S. Istrail
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution