( en | de | ru )

 

Disambiguierung von "Mezzetti, Gianluca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Nominal Context-Free Model-Checking.

, , und . CIAA, Volume 7982 von Lecture Notes in Computer Science, Seite 109-121. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Enrico Mezzetti

Gianluca Airaghi

Gianluca Cama

Gianluca Valenti

Gianluca Carlin

 

Weitere Publikationen von Autoren mit dem selben Namen

Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact)., , und . Dagstuhl Artifacts Ser., 4 (3): 08:1-08:2 (2018)Formalising Security in Ubiquitous and Cloud Scenarios., , , , und . CISIM, Volume 7564 von Lecture Notes in Computer Science, Seite 1-29. Springer, (2012)Systematic execution of Android test suites in adverse conditions., , und . ISSTA, Seite 83-93. ACM, (2015)Nominal Context-Free Behaviour.. University of Pisa, Italy, (2014)Foreword to the Thematic Track: Quality Aspects in Verification and Validation.. QUATIC, Seite 154. IEEE Computer Society, (2016)Towards Nominal Context-Free Model-Checking., , und . CIAA, Volume 7982 von Lecture Notes in Computer Science, Seite 109-121. Springer, (2013)Analyzing Test Completeness for Dynamic Languages, , und . Proceedings of the 25th International Symposium on Software Testing and Analysis, Seite 142--153. ACM, (2016)Type unsoundness in practice: an empirical study of Dart., , und . DLS, Seite 13-24. ACM, (2016)On Quantitative Security Policies., , und . PaCT, Volume 6873 von Lecture Notes in Computer Science, Seite 23-39. Springer, (2011)Typing Context-Dependent Behavioural Variation, , , und . PLACES, Volume 109 von EPTCS, Seite 28-33. (2012)