Concepedia

Elias Benussi

EB

1

Publications

33

Citations

1

H-Index

2019

Active since

Affiliations

Faculty (United Kingdom)(Current)

Elias Benussi is an author at Faculty (United Kingdom) specializing in engineering, distributed programming, and formal methods.

Top concepts

Publications per year

2019–2019

1

Publications

1

Verifying message-passing programs with dependent behavioural types

Alceste Scalas, Nobuko Yoshida, Elias Benussi · 2019 · 33 citations · Full text

, , +20

Rows per page

1–1 of 1