Verhoef, C. (Christiaan), 1962-
Verhoef, Chris
Verhoef, C. (Christiaan)
Verhoef, C.
Verhoef, Christiaan (1962- ).
Chris Verhoef Dutch computer scientist
VIAF ID: 243411129 ( Personal )
Permalink: http://viaf.org/viaf/243411129
Preferred Forms
- 100 0 _ ‡a Chris Verhoef ‡c Dutch computer scientist
- 100 1 _ ‡a Verhoef, C.
-
- 100 1 _ ‡a Verhoef, C. ‡q (Christiaan)
- 100 1 0 ‡a Verhoef, C. ‡q (Christiaan), ‡d 1962-
-
-
-
- 100 1 _ ‡a Verhoef, Chris
-
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
16th IEEE International Conference on Program Comprehension : 10-13 June 2008, Amsterdam, The Netherlands | |
Algebra of communicating processes, 1994: | |
A congruence theorem for structured operational semantics with predicates and negative premises | |
A conservative look at term deduction systems with variable binding | |
A general conservative extension theorem in process algebras with inequalities | |
Linear unary operators in process algebra | |
On induction principles | |
On the register operator | |
Proceedings | |
Proceedings of the Fourth European Conference on Software Maintenance and Reengineering : Reengineering Week Zurich, University of Zurich, Switzerland, February 29-March 3, 2000 | |
Het regiebureau : kernprincipes voor sturen op resultaat | |
Research issues in the renovation of legacy systems |