The Playbook and Play-Engine Site (2003)

wisdom.weizmann.ac.il

1 pointturtleyacht1 comment

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