2006 | ||
---|---|---|
3 | EE | Hidetaka Kondoh, Kokichi Futatsugi: To use or not to use the goto statement: Programming styles viewed from Hoare Logic. Sci. Comput. Program. 60(1): 82-116 (2006) |
2000 | ||
2 | EE | Hidetaka Kondoh: What Is `Mathematicalness' in Software Engineering? FASE 2000: 163-177 |
1995 | ||
1 | Hidetaka Kondoh: Basic Properties of Data Types with Inequational Refinements. TLCA 1995: 279-296 |
1 | Kokichi Futatsugi | [3] |