related documents Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project Conferences Taking Alloy to the Movies Conferences
