O'Hearn, Peter W. (Peter William), 1963-
O'Hearn, Peter W. (Peter William)
O'Hearn, Peter W., 19..-....
O'Hearn, Peter W.
O'Hearn, Peter
O'Hearn, Peter W. 1963-
Peter O'Hearn
VIAF ID: 188793539 ( Personal )
Permalink: http://viaf.org/viaf/188793539
Preferred Forms
- 200 _ | ‡a O'Hearn ‡b Peter W.
- 100 1 _ ‡a O'Hearn, Peter
- 100 1 _ ‡a O'Hearn, Peter W. ‡d 1963-
- 100 1 _ ‡a O'Hearn, Peter W. ‡q (Peter William)
-
- 100 1 0 ‡a O'Hearn, Peter W. ‡q (Peter William), ‡d 1963-
-
-
- 100 1 _ ‡a O'Hearn, Peter W., ‡d 19..-....
- 100 0 _ ‡a Peter O'Hearn
4xx's: Alternate Name Forms (12)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
ALGOL-like languages | |
Semantics of noninterference. | |
Verified software : theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings |