Login / Signup

Run your research: on the effectiveness of lightweight mechanization.

Casey KleinJohn ClementsChristos DimoulasCarl EastlundMatthias FelleisenMatthew FlattJay A. McCarthyJon RafkindSam Tobin-HochstadtRobert Bruce Findler
Published in: POPL (2012)
Keyphrases
  • lightweight
  • development environments
  • dos attacks
  • wireless sensor networks
  • software engineering
  • cost effective