Login / Signup
Abstract interpretation of mobile systems.
Jérôme Feret
Published in:
J. Log. Algebraic Methods Program. (2005)
Keyphrases
</>
mobile devices
abstract interpretation