We stand with Ukraine  

Hayao Nakahara

According to our database1, Hayao Nakahara authored at least 2 papers between 1977 and 1980.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1980
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
[BibTeX]
[DOI]
Reiji Nakajima
,
Michio Honda
,
Hayao Nakahara
Acta Informatica, 1980

1977
Describing and Verifying Programs with Abstract Data Types.
[BibTeX]
Reiji Nakajima
,
Michio Honda
,
Hayao Nakahara
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977


  Loading...