'z-notation' Questions - SpiceQA

Questions Tags Users Badges

z-notation

1 Questions

Newest Active Unanswered Frequent

How to prove (p^q) ^ ( q -> r ) <-> r using Z- notation?

user_78769190

• asked Jul 17, 2020

3

1

55

z-notation formal-methods

1 (current)

Hot Questions