Smart Play-Out of Behavioral Requirements (2002)

by David Harel , Hillel Kugler , Rami Marelly , Amir Pnueli
Venue:The Weizmann Institute of Science
Citations:54 - 37 self