1 points | by turtleyacht 13 hours ago ago
1 comments
From David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.
From David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.