Davide Basile (@davidebasile) 's Twitter Profile
Davide Basile

@davidebasile

Permanent Researcher @ ISTI CNR Pisa, Formal Methods and Tools Lab

ID: 137781990

linkhttp://davidebasile.github.io calendar_today27-04-2010 19:04:59

61 Tweet

52 Takipçi

177 Takip Edilen

Davide Basile (@davidebasile) 's Twitter Profile Photo
Davide Basile
@davidebasile

a year ago

the presentation of the paper "Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal" by Davide Basile, presented at COORDINATION 2024, is available here youtu.be/yaD6NIFkHDU