Historikk

Cristin-resultat-ID: 1292351

Sist endret: 23. november 2015, 17:00

Resultat

Rapport

1997

A Tutorial for the VCT Formal Specification language

Artur Serrano og
Ray Welland

Utgiver/serie Utgiver/serie

Utgiver

University of Glasgow

Om resultatet Om resultatet

Rapport

Publiseringsår: 1997

Antall sider: 10

Beskrivelse Beskrivelse

Engelsk

Tittel

A Tutorial for the VCT Formal Specification language

Bidragsytere Bidragsytere

Jose Artur Serrano

Bidragsyterens navn vises på dette resultatet som Artur Serrano

Forfatter
ved Telemedisin og e-helse ved UiT Norges arktiske universitet

Ray Welland

Forfatter

1 - 2 av 2