author : David Harel

1 publication
page_white_acrobat On the Development of Reactive Systems (NATO ASI 1984) — David Harel, Amir Pnueli