Stefano Zacchiroli

Stefano, 4 April 2018 Stefano Zacchiroli (born 16 March 1979) is an Italian and French academic and computer scientist who lives and works in Paris, and a former Debian Project Leader. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Zacchiroli, Stefano', query time: 0.05s Refine Results
  1. 1
    User interaction widgets for interactive theorem proving
    by Zacchiroli, Stefano <1979>
    Published 2007
    Get full text
    Doctoral Thesis
  2. 2
    Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings
    Published 2017
    Other Authors: “...Zacchiroli, Stefano...”
    Get fulltext
    eBook
Search Tools: Get RSS Feed — Email this Search