Hayao Nakahara

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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]