ACM SIGSOFT Software Engineering Notes · 2005 · 27 citations · 0 references
Software MaintenanceTrustworthy ComputingTrusted SystemEngineeringInformation SecurityVerificationSoftware SystemsTrustworthy Software SystemsSoftware AnalysisComputer ScienceFormal VerificationTrusted Operating SystemSystem SoftwareAbstract Object TheoryData Security
No abstract available.