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

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