Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis (2000)

Cached

Download Links

by David Basin , Grit Denker
Citations:9 - 3 self