Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Luka Jovanovic
conf.researchr.org general profile
‹Programming› 2024 profile
Registered user since Wed 7 Feb 2024
Name:
Luka Jovanovic
Affiliation:
Northeastern University
Contributions
2024
‹Programming›
Author of McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs within the Research Papers-track
Share
x
Sat 27 Jul 14:45