Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers - Dingel, Juergen; Solberg, Arnor; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Logic design; Computer simulation; Information Systems; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems; Simulation and Modeling