Cristin-resultat-ID: 1499785
Sist endret: 3. april 2018, 14:26
NVI-rapporteringsår: 2017
Resultat
Vitenskapelig artikkel
2017

Hoare-style Reasoning from Multiple Contracts

Bidragsytere:
  • Olaf Owe
  • Toktam Ramezanifarkhani og
  • Elahe Fazeldehkordi

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2017
Trykket: 2017
Volum: 10510
Sider: 263 - 278

Lenker

original online (doi)

Importkilder

Scopus-ID: 2-s2.0-85030157198

Beskrivelse Beskrivelse

Tittel

Hoare-style Reasoning from Multiple Contracts

Bidragsytere

Olaf Owe

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo

Toktam Ramezanifarkhani

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo

Elahe Fazeldehkordi

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
1 - 3 av 3