Sort by
Refine Your Search
-
these areas (UPPAAL, Concuerror, Nidhugg and other tools), publishing in top conferences such as POPL, PLDI, ICALP and CAV. Project description As both private and public investment in quantum computing
Enter an email to receive alerts for quantum-computation "https:" positions