Cristin-resultat-ID: 1288207
Sist endret: 11. november 2015 16:50
Resultat
Vitenskapelig foredrag
1999

Formal Specifications of Software Design

Bidragsytere:
  • Artur Serrano

Presentasjon

Navn på arrangementet: IWFM’99 - 3rd Irish Workshop in Formal Methods
Dato fra: 1. juni 1999
Dato til: 2. juni 1999

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 1999

Beskrivelse Beskrivelse

Tittel

Formal Specifications of Software Design

Bidragsytere

José Artur F. da Silva e Vale Serrano

Bidragsyterens navn vises på dette resultatet som Artur Serrano
  • Tilknyttet:
    Forfatter
    ved Telemedisin og e-helse ved UiT Norges arktiske universitet
1 - 1 av 1