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