Hayao Nakahara (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

1 Reiji Nakajima, Michio Honda, Hayao Nakahara: Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. Acta Inf. 14: 135-155 (1980)

Selection of 1 from 1 records - Hayao Nakahara has 2 coauthors