Cristin-resultat-ID: 1292351
Sist endret: 23. november 2015 17:00
Resultat
Rapport
1997

A Tutorial for the VCT Formal Specification language

Bidragsytere:
  • Artur Serrano og
  • Ray Welland

Utgiver/serie

Utgiver

University of Glasgow

Om resultatet

Rapport
Publiseringsår: 1997
Antall sider: 10

Beskrivelse Beskrivelse

Tittel

A Tutorial for the VCT Formal Specification language

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

Ray Welland

  • Tilknyttet:
    Forfatter
1 - 2 av 2