Login / Signup

Concrete Memory Models for Shape Analysis.

Pascal SotinBertrand JeannetXavier Rival
Published in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases