Jad Saklawi

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Paul C. Attie, Jad Saklawi: Model and Program Repair via SAT Solvers CoRR abs/0710.3332: (2007)

2007
1	EE	Paul C. Attie, Jad Saklawi: Model and Program Repair via SAT Solvers CoRR abs/0710.3332: (2007)

Coauthor Index