I'm fairly proficient at SPIN, trying to teach myself PropC. Is there a manual of some kind explaining usage of PropC code? I cant find anything and am trying to rely on start simple examples which don't contain everything that I am looking for.
↧