Acronyms von A bis Z
FVSEP
Formal Verification Systems Evaluation Program (->"Computer Security Basics", Russell/Gangemi, ORA 1991)
Formal Verification Systems Evaluation Program (->"Computer Security Basics", Russell/Gangemi, ORA 1991)