1. 6
    TLA+ in Isabelle/HOL formalmethods davecturner.github.io
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments

  1.