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

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

5e4a10aefffbb2ba84d094911e8b1947?s=128

Jaime Arias Almeida

November 27, 2015
Tweet