Skip to main content
English
Català
Čeština
Deutsch
Español
Français
Gàidhlig
Italiano
Latviešu
Magyar
Nederlands
Polski
Português
Português do Brasil
Srpski (lat)
Suomi
Svenska
Türkçe
Tiếng Việt
Қазақ
বাংলা
हिंदी
Ελληνικά
Српски
Yкраї́нська
Log In
Log in with University username and password
Communities & Collections
All of AR&S
English
Català
Čeština
Deutsch
Español
Français
Gàidhlig
Italiano
Latviešu
Magyar
Nederlands
Polski
Português
Português do Brasil
Srpski (lat)
Suomi
Svenska
Türkçe
Tiếng Việt
Қазақ
বাংলা
हिंदी
Ελληνικά
Српски
Yкраї́нська
Log In
Log in with University username and password
Home
Schools and Disciplines
School of Computer Science
Formal Modelling and Verification
Formal Modelling publications
Browse by Title
Formal Modelling publications
Permanent URI for this collection
https://hdl.handle.net/2440/14999
Browse
Recent Submissions
By Issue Date
By Author
By Title
By Advisor
Recent Submissions
By Issue Date
By Author
By Title
By Advisor
Browsing Formal Modelling publications by Title
Browse
Now showing
1 - 1 of 1
Results Per Page
1
5
10
20
40
60
80
100
Sort Options
Ascending
Descending
No Thumbnail Available
Item
Restricted
Introduction
(
Wallflower Press
,
2011
)
McCann, B.
;
Sorfa, D.
;
McCann, B.
;
Sorfa, D.
Show more