2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA). IEEE.
Chicago-viite (17. p.)2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA). IEEE.
MLA-viite (8. p.)2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA). IEEE.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.