DMCA

IOS Press External Transaction Logic: reasoning and

by Ana Sofia Gomes , Jose ́ Júlio Alferes