A design discipline and language features for formal modular reasoning in aspect-oriented programs (2005)

Cached

Download Links

by Curtis Clifton , Gary T. Leavens
Citations:1 - 1 self