Publications

2 results at Phoenix IPCCC 1995

Constraint satisfaction for test program generation
- - Daniel Lewin
  - Laurent Fournier
  - et al.
- 1995
- Phoenix IPCCC 1995
Establishing PCI compliance using formal verification: A case study
- - Ilan Beer
  - Shoham Ben-David
  - et al.
- 1995
- Phoenix IPCCC 1995