Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers - Huzar, Zbigniew; Koci, Radek; Meyer, Bertrand; Walter, Bartosz; Zendulka, Jaroslav; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Logic design; Information Systems; Computer Science; Software Engineering; Management of Computing and Information Systems; Programming Techniques; Programming Languages, Compilers, Interpreters; Information Systems Applications (incl. Internet).; Logics and Meanings of Programs