Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang 0006, Franck van Breugel. jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code. ACM SIGSOFT Software Engineering Notes, 48(1):32-36, January 2023. [doi]