First Page | Document Content | |
---|---|---|
Date: 2014-12-01 09:19:24Software engineering Abstract state machines Electronic commerce Communications protocol Mondex Smart card Program refinement E Purse Computing Formal methods Payment systems | ¨t Augsburg Universita KAB 0 HAdd to Reading ListSource URL: www.isse.uni-augsburg.deDownload Document from Source WebsiteFile Size: 297,39 KBShare Document on Facebook |