%0 Conference Paper %1 conf/afips/PopekK74 %A Popek, Gerald J. %A Kline, Charles S. %B AFIPS National Computer Conference %D 1974 %I AFIPS Press %K dblp %P 145-151 %T Verifiable secure operating system software. %U http://dblp.uni-trier.de/db/conf/afips/ncc74.html#PopekK74 %V 43 %@ 978-1-4503-7920-5

@inproceedings{conf/afips/PopekK74, added-at = {2018-11-06T00:00:00.000+0100}, author = {Popek, Gerald J. and Kline, Charles S.}, biburl = {https://www.bibsonomy.org/bibtex/26aba55a1ba77e788649221f3de6e7797/dblp}, booktitle = {AFIPS National Computer Conference}, crossref = {conf/afips/1974}, ee = {https://doi.org/10.1145/1500175.1500204}, interhash = {ce5a6706398a4f64ad5983a572d24458}, intrahash = {6aba55a1ba77e788649221f3de6e7797}, isbn = {978-1-4503-7920-5}, keywords = {dblp}, pages = {145-151}, publisher = {AFIPS Press}, series = {AFIPS Conference Proceedings}, timestamp = {2024-04-09T19:28:25.000+0200}, title = {Verifiable secure operating system software.}, url = {http://dblp.uni-trier.de/db/conf/afips/ncc74.html#PopekK74}, volume = 43, year = 1974 }