On understanding type declarations in C
ACM SIGPLAN Notices
ACM SIGSOFT Software Engineering Notes
Teaching formal programming to first year computer science students
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Precise behavioral specifications in OO information modeling
OOPSLA '94 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
"Higher-Order" Mathematics in B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Algebraic and coalgebraic methods in the mathematics of program construction
Mathematical Structures in Computer Science
Which Mathematics for the Information Society?
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Logic training through algorithmic problem solving
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
Algorithmic problem solving: three years on
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Calculating graph algorithms for dominance and shortest path
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
| Hi-index | 0.00 |