Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings - France, Robert B.; Kuester, Jochen M.; Bordbar, Behzad; Paige, Richard F.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design; Information Systems; Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Management of Computing and Information Systems; Programming Techniques