Citace podle APA (7th ed.)

SpringerLink (Online service), Cortellessa, V., Pierantonio, A., & Bernardo, M. (2012). Formal methods for model-driven engineering: 12th International school on formal methods for the design of computer, communication, and software systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Springer Berlin Heidelberg.

Citace podle Chicago (17th ed.)

SpringerLink (Online service), Vittorio Cortellessa, Alfonso Pierantonio, a Marco Bernardo. Formal Methods for Model-driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Citace podle MLA (8th ed.)

SpringerLink (Online service), et al. Formal Methods for Model-driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Springer Berlin Heidelberg, 2012.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..