• Z

  • Referenced in 286 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • seL4

  • Referenced in 91 articles [sw15222]
  • seL4: formal verification of an OS kernel. Complete...
  • JSetL

  • Referenced in 7 articles [sw29267]
  • JSetL is a Java library that has been...
  • SETL

  • Referenced in 26 articles [sw36325]
  • Programming with sets. An introduction to SETL. of...