【Updated on Oct. 28, 2024】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
Impact of the Release of the New "NDL Search" on CiNii Services
Trial version of CiNii Research Automatic Translation feature is available on CiNii Labs

A proof technique for rely/guarantee properties

1 Citations

STARK E. W.

Journal

Proc. 5th Conf. on Found. of Soft. Tech. and Theoretical Computer Science, 1985

Proc. 5th Conf. on Found. of Soft. Tech. and Theoretical Computer Science, 1985 369-391, 1985

Citations (1)*help

See more

Details 詳細情報について

CRID

1573950401000995584
NII Article ID

10027364715
Data Source
- CiNii Articles

Export

Report a problem

Back to top