Travelled to:1 × United Kingdom
Collaborated with:P.G.d.Aledo
Talks about:framework (1) contribut (1) competit (1) system (1) verif (1) embed (1)
Person: Pablo Sánchez Espeso
DBLP: Espeso:Pablo_S=aacute=nchez
Contributed to:
2015Wrote 1 papers:
- TACAS-2015-AledoE #contest #embedded #framework #verification
- FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.