%0 Conference Paper %1 conf/mmmacns/Morrisett10 %A Morrisett, Greg %B MMM-ACNS %D 2010 %E Kotenko, Igor V. %E Skormin, Victor A. %I Springer %K dblp %P 32-35 %T Integrating Types and Specifications for Secure Software Development. %U http://dblp.uni-trier.de/db/conf/mmmacns/mmmacns2010.html#Morrisett10 %V 6258 %@ 978-3-642-14705-0

@inproceedings{conf/mmmacns/Morrisett10, added-at = {2017-05-24T00:00:00.000+0200}, author = {Morrisett, Greg}, biburl = {https://www.bibsonomy.org/bibtex/2075f9d6dfbdfaefb2f89d6bbaa542ba9/dblp}, booktitle = {MMM-ACNS}, crossref = {conf/mmmacns/2010}, editor = {Kotenko, Igor V. and Skormin, Victor A.}, ee = {https://doi.org/10.1007/978-3-642-14706-7_3}, interhash = {43589555123807b94d00489a9fa10671}, intrahash = {075f9d6dfbdfaefb2f89d6bbaa542ba9}, isbn = {978-3-642-14705-0}, keywords = {dblp}, pages = {32-35}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:43:13.000+0200}, title = {Integrating Types and Specifications for Secure Software Development.}, url = {http://dblp.uni-trier.de/db/conf/mmmacns/mmmacns2010.html#Morrisett10}, volume = 6258, year = 2010 }