(1 - 16 from 17
)
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