Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers - Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Software engineering; Logic design; Information Systems; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems