FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings - International Symposium on Formal Methods. 2011 : Limerick, Ireland); Schulte, Wolfram; Butler, Michael (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Logic design; Information systems