Modelling and Verifying of e-Commerce Systems.

Andreas Speck

Browse the full CaiSE paper archive.