Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards an Isabelle/HOL formalisation of core Erlang.. Erlang Workshop, page 55-63. ACM, (2017)Runtime type safety for erlang/otp behaviours.. Erlang Workshop, page 36-47. ACM, (2019)Robust communications in Erlang. University of Kent, UK, (2020)British Library, EThOS.A Hierarchical Database of One Million Websites., , , and . SecDev, page 67-68. IEEE, (2022)Automatic detection of core Erlang message passing errors.. Erlang Workshop, page 37-48. ACM, (2018)