Formal Semantcs and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choice

Formal Semantcs and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choice

E49d1bfa9f9443686cbb9b4aaf6298af?s=128

Jaime Arias Almeida

November 27, 2015
Tweet