Formal verification problems in a big data world: towards a mighty synergy.

Matteo Camilli

Browse the full ICSE paper archive.