Formal Modelling and Analysis of Predictable Java

Thomas Bøgholm, Rene Rydhof Hansen, Anders Peter Ravn, Hans Søndergaard, Bent Thomsen

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftERCIM News
Udgave nummer81
Sider (fra-til)52-53
ISSN0926-4981
StatusUdgivet - apr. 2010

Citationsformater