‹Programming› 2023 (series) / Tim Nelson

Not registered as user yet
Name:Tim Nelson
Country:United States
Affiliation:Brown University
Personal website:https://cs.brown.edu/~tn/
Contributions
‹Programming› 2023 | Little Tricky Logic: Misconceptions in the Understanding of LTL | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile