SERIAL-7: Deriving, Realizing, and Preserving Machine-Verifiable Outputs Across Representations

Youngkyung Seo, MiHyeon Kim, Jisoo Lee, Hwijung Ryu

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