94 followers
[hal-01583815] A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing https://t.co/JltCn2rQ7x
[hal-01583815] A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing https://t.co/JltCn2rQ7x
[hal-01583815] A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing https://t.co/lGjfpdgans