Hayao Nakahara

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1980

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

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

Coauthor Index

1 Michio Honda [1]

2 Reiji Nakajima [1]