International School on Formal Methods for the Design of Computer, Communication and Software Systems ( Bertinoro, Italia), & Bernardo, M. Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : Advanced Lectures. Springer.
Copiat
No s'ha pogut copiar
Cita Chicago (17th ed.)
International School on Formal Methods for the Design of Computer, Communication and Software Systems ( Bertinoro, Italia), i Marco Bernardo. Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : Advanced Lectures. Cham, Suiza: Springer.
Copiat
No s'ha pogut copiar
Cita MLA (9th ed.)
International School on Formal Methods for the Design of Computer, Communication and Software Systems ( Bertinoro, Italia), i Marco Bernardo. Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : Advanced Lectures. Springer.
Copiat
No s'ha pogut copiar
Atenció: Aquestes cites poden no estar 100% correctes.