First Page | Document Content | |
---|---|---|
![]() Date: 2004-04-05 03:21:06Supply chain management Procurement Manufacturing Operations research Purchasing Systems engineering Mii RMA | Add to Reading List |
![]() | Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1DocID: 1xUFe - View Document |
![]() | PDF DocumentDocID: 1xSAJ - View Document |
![]() | PDF DocumentDocID: 1xQ2q - View Document |
![]() | PDF DocumentDocID: 1xKJi - View Document |