Formal Methods for Mobile Computing : 5th International School on Formal Meth...

Mobile Computing, Applications, and Services : 5th International

Formal Methods in Computer-Aided Design 5th International Confere

Formal Methods for Components and Objects: 5th International Symposium, FMCO 200

Formal Methods for Multicore Programming : 15th International School on Forma...

Formal Methods for Dynamical Systems : 13th International School on Formal Me...

NASA Formal Methods 5th International Symposium NFM 2013 Moffett

Beneath a Meth Moon by Jacqueline Woodson (2012, Hardcover)