project

Testing, verification and synthesis of distributed systems

Academy of Finland
  • Funder: Academy of FinlandProject code: 213113
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue