• 基辅

  • 50篇参考文献[SW10060]
  • 卡尔斯鲁厄互动验证者(KIV)。KIV是一个互动的…
  • Z

  • 272篇参考文献[SW1091]
  • 使用Z.规范,精化和证明。这本书…
  • RGITL

  • 5篇参考文献[SW13917]
  • RGITL:一个合成推理的时序逻辑框架。
  • 排队

  • 6篇参考文献[SW18417]
  • 排队:一个完整的自动线性化检查器…