Found 1 document(s)
Page 1 of 1
-
The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathemati...
