Observers and assistants: A proposal for modular aspect-oriented reasoning (2002)

by Curtis Clifton , Gary T. Leavens
Venue:In FOAL Workshop
Citations:86 - 9 self