Hui - Internet Applications 5th International Computer Science Confe - X555z

Aagaard - Formal Methods in Computer-Aided Design 4th International - X555z

Bruni - Web Services and Formal Methods 5th International Workshop - X555z

Bernardo - Formal Methods for Mobile Computing 5th International Sch - X555z

Brat - NASA Formal Methods 5th International Symposium NFM 2013 Mo - X555z

Arbab - Fundamentals of Software Engineering 5th International Confe - X555z

Kunz - Ad-Hoc Mobile and Wireless Networks 5th International Confe - X555z

Danos - Computational Methods in Systems Biology International Confe - X555z