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