`Travelled to:`

5 × USA

`Collaborated with:`

∅ T.Lamdan Y.Lai

`Talks about:`

logic (2) nondeterminist (1) rectangular (1) construct (1) algorithm (1) function (1) behavior (1) abstract (1) process (1) correct (1)

## Person: Sany M. Leinwand

### DBLP: Leinwand:Sany_M=

### Contributed to:

### Wrote 5 papers:

- DAC-1984-LeinwandL #algorithm
- An algorithm for building rectangular floor-plans (SML, YTL), pp. 663–664.
- DAC-1982-Leinwand #correctness #logic
- Logical correctness by construction (SML), pp. 825–831.
- DAC-1981-Leinwand #logic #process #simulation
- Process oriented logic simulation (SML), pp. 511–517.
- DAC-1980-LeinwandL #algebra #analysis #behaviour #nondeterminism
- Algebraic analysis of nondeterministic behavior (SML, TL), pp. 483–493.
- DAC-1979-LeinwandL #abstraction #design #functional #verification
- Design verification based on functional abstraction (SML, TL), pp. 353–359.