Franklin

Software model checking for confidentiality / Pavol Černý.

Author/Creator:
Černý, Pavol.
Publication:
2009.
Format/Description:
Thesis/Dissertation
Book
xi, 129 p. : ill. ; 29 cm.
Status/Location:
Loading...

Get It

Details

Local subjects:
Penn dissertations -- Computer and information science. (search)
Computer and information science -- Penn dissertations. (search)
Notes:
Thesis (Ph.D. in Computer and Information Science) -- University of Pennsylvania, 2009.
Includes bibliographical references.