Back to advisors
DB
Don Batory
Professor Emeritus
University of Texas at Austin · United StatesFormal MethodsProgramming Languages and CompilersScientific ComputingSoftware Product LinesModel Driven EngineeringJava and MDE RefactoringsCorrect by Construction Derivation of Stream Programs
Data verified 9/6/2026Source