Conference proceedings on Formal methods in software development
ACM Digital Library