Showing 1 - 3 results of 3 for search 'De Nicola, Rocco', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
    Published 2001
    Other Authors: “…De Nicola, Rocco…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
    Published 2016
    Other Authors: “…De Nicola, Rocco…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures /
    Published 2016
    Other Authors: “…De Nicola, Rocco…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search