1 pointby turtleyacht10 hours ago1 comment
  • turtleyacht10 hours ago
    From David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.