Constraint satisfaction for test program generationDaniel LewinLaurent Fournieret al.1995Phoenix IPCCC 1995
Establishing PCI compliance using formal verification: A case studyIlan BeerShoham Ben-Davidet al.1995Phoenix IPCCC 1995