Changeset a4808ad
- Timestamp:
- May 24, 2024, 2:20:03 PM (6 months ago)
- Branches:
- master
- Children:
- cad8c88
- Parents:
- df699e0
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/mike_brooks_MMath/uw-ethesis.bib
rdf699e0 ra4808ad 105 105 } 106 106 107 @inproceedings{Elliott18, 108 keywords = {Safety;Static analysis;Tools;Cyclones;Benchmark testing;Security;Computer bugs;programming languages;security}, 109 author = {Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael and Tarditi, David}, 110 booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, 111 title = {Checked C: Making C Safe by Extension}, 112 year = 2018, 113 month = nov, 114 pages = {53-60}, 115 }
Note: See TracChangeset
for help on using the changeset viewer.