Computation
Published in Apress eBooks • Jan 1, 2022
Authors:
Boro Sitnikovski
Abstract
So far, we covered basic functionalities in Dafny that deal with mathematical logic. In this chapter, we will introduce more useful concepts with Dafny.
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!