Hayao Nakahara Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - 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]