Escaping with Future Variables in HALO [chapter]

Charlotte Herzeel, Kris Gybels, Pascal Costanza
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