@Misc{ASM,
  key = "ASM website",
  title =    "{ASM} website",
  howpublished = "\url{http://asm.ow2.org/}",
}

@Misc{CF,
  key = "Checker Framework website",
  title =    "{Checker Framework} website",
  howpublished = "\url{https://checkerframework.org/}",
}