Schlagwort 'formal-verification'
-
Secure Multi-Party E-Commerce ProtocolsAuflage:1st ed. 2022Verlag:Springer International PublishingBîrjoveanu Cătălin V., Bîrjoveanu MirelaErscheinungsjahr:2022