Number of documents


David Chemouil's (and Co-author's) Publications

Computer Science Researcher at ONERA DTIS, Toulouse.

Link to my professional web page:

"Thomas Hujsa"   

Conference papers1 document

  • Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, et al.. Proposition of an Action Layer for Electrum. 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, Jun 2018, Southampton, United Kingdom. pp.397-402, ⟨10.1007/978-3-319-91271-4_30⟩. ⟨hal-01774920⟩