The Playbook and Play-Engine Site (2003)

1 comments

• $turtleyacht 11 hours ago

  From David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.