Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dines Bjørner
conf.researchr.org general profile
POPL 2024 profile
Not registered as user yet
Name:
Dines Bjørner
Country:
Denmark
Affiliation:
DTU
Contributions
2024
PEPM
Author of The 0'th PEPM Event: October 1987—and Andrei Petrovich Ershov: 1977–1988 (Invited Contribution) within the PEPM 2024-track
Share
x
Thu 21 Nov 11:30