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