C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Giovanni Tito Bernardi
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 2
Top Topics
Multiscale
Client Server
Test Generation
Top Venues
Math. Struct. Comput. Sci.
Sci. Comput. Program.
</>
Publications
</>
Giovanni Tito Bernardi
,
Adrian Francalanza
Full-abstraction for client testing preorders.
Sci. Comput. Program.
168 (2018)
Giovanni Tito Bernardi
,
Matthew Hennessy
Modelling session types using contracts.
Math. Struct. Comput. Sci.
26 (3) (2016)