Formalising behaviour preserving program transformations (2002)

by Tom Mens , Serge Demeyer , Dirk Janssens
Venue:Int'l Conference on Graph Transformation (ICGT 2002)
Citations:42 - 11 self