Results 1 to 4 of 4
Sort by:

  • 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...