1 projects found matching your search criteria :
Abstract Machines for Programming Languages: Investigations in Formal Interderivations
Call: OPUS 17 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki