2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.
Cita Chicago Style (17a ed.)2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.
Cita MLA (8a ed.)2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.
Precaución: Estas citas no son 100% exactas.