ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
96
publications
Top publications
236
views
Most viewed
0
reviews
Latest reviews
0
follows
Top followed users
0
followers
Follow
0
edited collections
All edited
0
followed collections
All followed
Publications
96
FM 2005: Formal Methods
Authors:
John Leonard Fitzgerald
,
Ian Hayes
,
Andrzej Tarlecki
Laws of programming
Authors:
C. C. Morgan
,
J. M. Spivey
,
B. A. Sufrin
…
Reasoning about real-time programs using idle-invariant assertions
Authors:
Ian Hayes
All publications
Record
: found
Orcid
: found
Profile
: not found
Ian Hayes
Orcid ID:
orcid.org/0000-0003-3649-392X
Actions
Follow
New message
Visit ORCID profile
Share
Twitter
Sina Weibo
Facebook
Email
Statistics