Behavioral Coinductive Rewriting (1999)

by Grigore Rosu
Venue:OBJ/CAFEOBJ/MAUDE AT FORMAL METHODS '99
Citations:6 - 2 self