Up a level |
Number of items: 2.
Farrell, Marie ORCID: 0000-0001-7708-3877, Monahan, Rosemary and Power, James F
(2021)
BUILDING SPECIFICATIONS IN THE EVENT-B INSTITUTION.
LOGICAL METHODS IN COMPUTER SCIENCE, 18 (4).
4:1-4:55-.
MacConville, Dara, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Monahan, Rosemary
(2022)
Modelling the Turtle Python library in CSP.
.