FormaliSE
@FormaliSEconf
Followers
393
Following
99
Media
32
Statuses
156
FormaliSE is a conference series fostering integration between the formal methods and the software engineering communities. FormaliSE is co-located with ICSE.
We're mobile and moving around
Joined February 2014
Don't wanna be here?
Send us removal request.
Claudio
Franjo Ivancic
Edward A. Lee
Nancy Day
Shin Yoo
Marsha chechik