Login / Signup

Abstract interpretation of mobile systems.

Jérôme Feret
Published in: J. Log. Algebraic Methods Program. (2005)
Keyphrases
  • mobile devices
  • abstract interpretation