Formal Modelling and Analysis of Predictable Java

Research output: Contribution to journal › Journal article › Research › peer-review

Access to Document

@article{7930b7705c384d8dade138b063bffc79,

title = "Formal Modelling and Analysis of Predictable Java",

author = "Thomas B{\o}gholm and Hansen, \{Rene Rydhof\} and Ravn, \{Anders Peter\} and Hans S{\o}ndergaard and Bent Thomsen",

year = "2010",

month = apr,

language = "English",

pages = "52--53",

journal = "ERCIM News",

issn = "0926-4981",

publisher = "European Research Consortium for Informatics and Mathematics",

number = "81",

}