Universes: Lightweight Ownership for JML.

Werner DietlPeter Müller
Published in: J. Object Technol. (2005)
Keyphrases
  • lightweight
  • wireless sensor networks
  • software engineering
  • tcp ip