Modularizing Crosscutting Concerns with PtolemyHridesh Rajan, Gary T. Leavens, Robert DyerPublished: November 8, 2011in Proceedings of the 26th International Conference on Automated Software EngineeringCiteAbstractSlidesSlides PreviewDownload DownloadCollaboratorsHridesh RajanProfessorIowa State UniversityGary T. LeavensProfessorUniversity of Central Florida Back to all publications