Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
jnash | Dark Hacker News
user:
jnash
created:
February 11, 2022
karma:
90
submissions
comments
1.
Abella: A System for Reasoning about Relational Specifications (2014)
(jfr.unibo.it)
1 points
by
jnash
3 years ago
|
0 comments