Sign in

Inter-deriving semantic artifacts for object-oriented programming.

Olivier DanvyJacob Johannsen
Published in: J. Comput. Syst. Sci. (2010)
Keyphrases