Proceedings of the First International Workshop on Formal Methods in Software Engineering Rigorous and Agile Approaches
ACM Digital Library