Specification and verification of security requirements in a programming model for decentralized CSCW systems

Tanvir Ahmed, Anand R Tripathi

Research output: Contribution to journalArticlepeer-review

16 Scopus citations

Fingerprint

Dive into the research topics of 'Specification and verification of security requirements in a programming model for decentralized CSCW systems'. Together they form a unique fingerprint.

Engineering & Materials Science