Verification of properties of interactive components from their executable code.

Stphane Chatty, Mathieu Magnaudet, Daniel Prun

Browse the full EICS paper archive.