Протестировал9 подписчиковПодписатьсяProposing an IRTF Usable Formal Methods Research Grouphttps://csperkins.org/research/protocol-standards/2022-11-30-usable-formal-methods/Около минуты23 декабря 20224