1 points | by turtleyacht 11 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.