Search Results - Scaletta, Marco

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Deductive verification of active objects with Crowbar

    Deductive verification of active objects with Crowbar by Kamburjan, Eduard, Scaletta, Marco, Rollshausen, Nils

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects

    Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects by Kamburjan, Eduard, Scaletta, Marco, Rollshausen, Nils

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Towards Trace-based Deductive Verification (Tech Report)

    Towards Trace-based Deductive Verification (Tech Report) by Bubel, Richard, Gurov, Dilian, Hähnle, Reiner, Scaletta, Marco

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Nutritional Interventions to Improve Clinical Outcomes in Ovarian Cancer: A Systematic Review of Randomized Controlled Trials

    Nutritional Interventions to Improve Clinical Outcomes in Ovarian Cancer: A Systematic Review of Randomized Controlled Trials by Rinninella, Emanuele, Fagotti, Anna, Cintoni, Marco, Raoul, Pauline, Scaletta, Giuseppe, Quagliozzi, Lorena, Miggiano, Giacinto Abele Donato, Scambia, Giovanni, Gasbarrini, Antonio, Mele, Maria Cristina

    Published in Nutrients
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: