formal Aspects of Computing (UNITED STATES Springer London)
Keywords: Information Technology -- Computer Science (Hardware & Networks); Information Technology -- General and Others; Mathematical Sciences -- Applied Mathematics