First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering - Table of contents | IEEE Conference Publication | IEEE Xplore