undefined

< Takaisin hakutuloksiin

Model Checking a C plus plus Software Framework:A Case Study

Julkaisuvuosi

2019

Tekijät

Lång, John; Prasetya, I. S. W. B.

Organisaatiot ja tekijät

Helsingin yliopisto

Lång John

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Emojulkaisun nimi

ESEC/FSE'2019:PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING

Emojulkaisun toimittajat

Dumas, M; Pfahl, D; Apel, S; Russo, A

Konferenssi

ACM Joint Meeting on European Software Engineering Conference (ESEC)/ Symposium on the Foundations of Software Engineering (FSE)<br/><br/>

Kustantaja

ACM

Sivut

1026-1036

ISBN

978-1-4503-5572-8

Julkaisu­foorumi

5098

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet

Avainsanat

[object Object],[object Object],[object Object]

Julkaisumaa

Yhdysvallat (USA)

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1145/3338906.3340453

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä