1 comment

[ 3.7 ms ] story [ 13.9 ms ] thread
From David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.