2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.
Citación estilo Chicago2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.
Cita MLA2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.
Warning: These citations may not always be 100% accurate.