Home | History | Annotate | Download | only in annotation-file-utilities
      1 @Misc{ASM,
      2   key = "ASM website",
      3   title =    "{ASM} website",
      4   howpublished = "\url{http://asm.ow2.org/}",
      5 }
      6 
      7 @Misc{CF,
      8   key = "Checker Framework website",
      9   title =    "{Checker Framework} website",
     10   howpublished = "\url{https://checkerframework.org/}",
     11 }
     12