Formal Analysis and Design for Engineering Security (FADES)

Publication Type:

Thesis

Source:

Virginia Polytechnic Institute and State University, Volume PhD Dissertation, Blacksburg, VA (2009)
Share/Save