A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Escaping with Future Variables in HALO
[chapter]
Runtime Verification
Shop Article + checkout(): void + login(): void + buy(Article): void User Basket 1 1 * 1 * * 1 + current-rate-for(Article) + set-rate(Article, Double) + singleton-instance() Promotions * *
doi:10.1007/978-3-540-77395-5_5
dblp:conf/rv/HerzeelGC07
fatcat:c7xegagt2zhevdrnws3hctbprq