arXiv Computer Science
Follow

Operational Annotations: A new method for sequential program verification. (arXiv:2102.06727v1 [cs.SE]) arxiv.org/abs/2102.06727

· · feed2toot · 0 · 0 · 0
Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.

Resources

Developers

What is Mastodon?

qoto.org

More…

v3.5.19-qoto · Privacy policy