Proceedings of the 5th International Symposium on Symbolic Computation in Software Science (SCSS 2013)
Edited book, 2013
symbolic computation
software sciences
formal methods
Editor
Laura Kovacs
Chalmers, Computer Science and Engineering (Chalmers)
Temur Kutsia
Areas of Advance
Information and Communication Technology
Subject Categories
Computer and Information Science
Software Engineering
Computer Science