Browsing Exact and Earth Sciences by Subject "Values Passing"
Now showing items 1-1 of 1
-
Calculus semantic with values passing in the denotational approach
(2020) [Dissertation]In the last recent years, there was a noticeable increase in the use of formal verification by the industry, and the reason for that is because the formal languages are each time more enhanced, and the tools that support ...