2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.
Chicago Style (17th ed.) Citation2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.
MLA (8th ed.) Citation2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.
Warning: These citations may not always be 100% accurate.