Carlo A Furia
Visar 15 publikationer
A Method to Assess and Argue for Practical Significance in Software Engineering
Bayesian Data Analysis for Software Engineering
Contract-Based Program Repair without The Contracts: An Extended Study
Bayesian Data Analysis in Empirical Software Engineering Research
Robustness Testing of Intermediate Verifiers
A fully verified container library
Contract-Based Program Repair without the Contracts
Bounded variability of metric temporal logic
Triggerless happy: Intermediate verification with a first-order prover
AutoProof: auto-active functional verification of object-oriented programs
What good is Bayesian data analysis for software engineering?
Why Just Boogie? Translating Between Intermediate Verification Languages
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.