70. Birthday:
Jifeng He 2013
Bernhard K. Aichernig:
Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation. 23-36 Jonathan P. Bowen:
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng. 54-66 Yifeng Chen:
Algebraic Program Semantics for Supercomputing. 118-135 Yuxi Fu:
The Value-Passing Calculus. 166-195 Tony Hoare:
Generic Models of the Laws of Programming. 213-226 Jian Zhang:
Performance Estimation Using Symbolic Data. 346-353
maintained by

, founded at
