A Formal Yet Practical Approach to Electronic Commerce.

David Konopnicki, Lior Leiba, Oded Shmueli, Yehoshua Sagiv

Browse the full CoopIS paper archive.