型メタデータと定理証明の暗号学的写像による決定論的ソフトウェア結合アーキテクチャ

Matsumoto, Kenichi

DOI: 10.5281/zenodo.23727025

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.