Showing 1 - 1 results of 1 for search 'Fabio Fioravanti', query time: 0.02s Refine Results
  1. 1
    Verification of Programs by Combining Iterated Specialization with Interpolation

    Verification of Programs by Combining Iterated Specialization with Interpolation by Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti

    Published 2014-12-01
    Get full text
    Article

Search Tools: