(1 - 23 from 39
)
FormaliSE : 2nd FME Workshop on Formal Methods in Software...
www.wikicfp.com
FormaliSE : 2nd FME Workshop on Formal Methods in Software Engineering
FormaliSE : FME Workshop on Formal Methods in Software...
www.wikicfp.com
FormaliSE : FME Workshop on Formal Methods in Software Engineering
ICSE 2009: Cyber Home
www.cs.uoregon.edu
Nico Plat, Formal Methods Europe Matteo Rossi, Politecnico di Milano, Italy Tetsuo Tamai, University of Tokyo, Japan Michal Young, University of Oregon, USA
sorted by relevance / date