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
