1. 12
    Solving the “Wolf, Sheep and Cabbage” problem using TLA+ and the TLC model checker formalmethods medium.com
    hwayne avatar via hwayne 8 months ago | cached | no comments

  1.