vix.ing
·
top
·
new
·
best
·
stats
·
spec
Carlos Cantero
Towards a Certifying Grounder
2026/07/20 by
Daimy Van Caudenberg
,
Alexander Ek
,
Carlos Cantero
+1
Computer Science
·
#Formal Methods in Verification
#Model-Driven Software Engineering Techniques
#Logic, programming, and type systems