Jimmy Carter Library & Museum News Release

Source URL: www.jimmycarterlibrary.gov

• Joseph Finder
• Hurricane Katrina
• Atlantic Ocean
• Douglas Brinkley
• Brinkley
• Killer Instinct

D-Finder 2: Towards Efficient Correctness of Incremental Design Saddek Bensalem1 , Andreas Griesmayer1, Axel Legay3, Thanh-Hung Nguyen1 , Joseph Sifakis1 , and Rongjie Yan1,2 1

Source URL: www-verimag.imag.fr