Skip to content
cs-conference-ranking.org

Formal Construction of Provably Secure Systems with Cartesiana.

H. Brix, Albert Dietl

VenueA*SP
Year1990
ProceedingsS&P
DBLP recordconf/sp/BrixD90 ↗

Browse the full SP paper archive.