Up a level |
Number of items: 1.
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-.
Up a level |
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-.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000