Hayao Nakahara

Publication Activity (10 Years)

Years Active: 1977-1980
Publications (10 Years): 0

Publications

Reiji Nakajima, Michio Honda, Hayao Nakahara
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. Acta Informatica 14 (1980)
Reiji Nakajima, Michio Honda, Hayao Nakahara
Describing and Verifying Programs with Abstract Data Types. Formal Description of Programming Concepts (1977)