Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
whinvik | Dark Hacker News
user:
whinvik
created:
July 20, 2020
karma:
604
about:
Hi, I am Vikram. I like building stuff. Reach me at vikram.singh.work@proton.me
submissions
comments
1.
Introduction to Formal Methods (Part 2): From Spec to Code
(vikramsg.github.io)
1 points
by
whinvik
126 days ago
|
0 comments