A Dynamic Logic for the Formal Verification of Java Card Programs (2001)

Cached

Download Links

by Bernhard Beckert
Citations:62 - 15 self