← К поиску статей
Three Counterexamples and One-Sentence Corrections for IETF Internet-Draft draft-ietf-core-href-30, with a Lean Proof for the Path Rule
Otoi, Nobuo
DOI: 10.5281/zenodo.23760463
На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.