Nagle, Daniel
(University of Limerick, 2019)
There are many examples of the utilization of formal methods for creating
complete specifications of software applications. Often these are bounded
in scope to the concept of a critical system. This work looks to expand ...