Citation: D. Garlan, MAKING FORMAL METHODS EDUCATION EFFECTIVE FOR PROFESSIONAL SOFTWARE ENGINEERS, Information and software technology, 37(5-6), 1995, pp. 261-268
Citation: D. Garlan et De. Perry, INTRODUCTION TO THE SPECIAL ISSUE ON SOFTWARE ARCHITECTURE, IEEE transactions on software engineering, 21(4), 1995, pp. 269-274
Citation: D. Garlan et al., TRANSFORMGEN - AUTOMATING THE MAINTENANCE OF STRUCTURE-ORIENTED ENVIRONMENTS, ACM transactions on programming languages and systems, 16(3), 1994, pp. 727-774