dblp.uni-trier.de www.uni-trier.de

2. TASE 2008: Nanjing, China

Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. IEEE Computer Society 2008, ISBN 978-0-7695-3249-3 BibTeX

Keynote Speech

Model Checking

Program Analysis and Type Theory

Software Architecture, Framework, and Process

Short Paper 1

Service-Oriented Computing

Verification and Validation

Software Testing

Short Paper 2

Logic Systems and Programming

Specification and Requirements

Copyright © Sat May 16 23:43:36 2009 by Michael Ley (ley@uni-trier.de)