Proceedings
By: 2013 International Symposium on Theoretical Aspects of Software Engineering : 1-3 July 2013, Birmingham, United Kingdom
Contributors: Margaria-Steffen, Tiziana, 1964-; University of Aston in Birmingham; IEEE Computer Society
Publisher: IEEE Computer Society
Published: 2013
Place of publication: Los Alamitos, California
Language: eng
Number of pages: 246
ISBN-13: 9781479907359
Subjects: Software engineering; Congresses; Computer software; Development
Other titles: 2013 International Symposium on Theoretical Aspects of Software Engineering; Theoretical aspects of software engineering; (TASE 2013)
Notes: "IEEE Catalog Number: CFP13TAS-POD"--Cover.

Includes bibliographical references and author index.