Bernardo, M., & Bogliolo, A. (2005). Formal methods for mobile computing: 5th International School on formal methods for the design of computer, communication, and software systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Springer-Verlag.
Chicagoスタイル(17版)引用形式Bernardo, Marco, , Alessandro Bogliolo. Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Berlin Heidelberg: Springer-Verlag, 2005.
MLA(8版)引用形式Bernardo, Marco, , Alessandro Bogliolo. Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Springer-Verlag, 2005.