Anders Møller – Publikation — Aarhus Universitet

CV

Vis Scopus-profil

Fastnet+4523309994
E-mailamoellercs.audk

Åbogade 34, 5341, 224
8200 Aarhus N
Danmark

Publikationer pr. år

52 Konferencebidrag i proceedings
33 Tidsskriftartikel
6 Konferenceartikel
3 Paper
Mere

1 resultater

Filter

2002
Program Verification with Monadic Second-Order Logic & Languages for Web Service Development
Møller, A., 2002, Århus: Datalogisk Institut, Aarhus Universitet. (BRICS Dissertation Series, Bind DS-02-4).
Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling