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

50 days of free access to our paper "Advancing Orchestration Synthesis for Contract Automata" published in JLAMP available here authors.elsevier.com/a/1jIba_rUxegY…