Proposition of an Action Layer for Electrum

Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa. Proposition of an Action Layer for Electrum. In Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Volume 10817 of Lecture Notes in Computer Science, pages 397-402, Springer, 2018. [doi]

Authors

Julien Brunel

This author has not been identified. Look up 'Julien Brunel' in Google

David Chemouil

This author has not been identified. It may be one of the following persons: Look up 'David Chemouil' in Google

Alcino Cunha

This author has not been identified. It may be one of the following persons: Look up 'Alcino Cunha' in Google

Thomas Hujsa

This author has not been identified. Look up 'Thomas Hujsa' in Google

Nuno Macedo

This author has not been identified. Look up 'Nuno Macedo' in Google

Jeanne Tawa

This author has not been identified. Look up 'Jeanne Tawa' in Google