%0 Conference Paper %1 conf/adaEurope/DelisT91 %A Delis, Alex %A Thomas, William M. %B Ada-Europe %D 1991 %E Christodoulakis, Dimitris %I Springer %K dblp %P 227-250 %T Design Assessment of Ada Systems Using Static Analysis. %U http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope1991.html#DelisT91 %V 499 %@ 3-540-54092-X

@inproceedings{conf/adaEurope/DelisT91, added-at = {2017-05-19T00:00:00.000+0200}, author = {Delis, Alex and Thomas, William M.}, biburl = {https://www.bibsonomy.org/bibtex/25597a0ec7af786e3d4ca0f4e7c166db3/dblp}, booktitle = {Ada-Europe}, crossref = {conf/adaEurope/1991}, editor = {Christodoulakis, Dimitris}, ee = {https://doi.org/10.1007/BFb0018499}, interhash = {1a41da9ece3809bc316499a26660d4f9}, intrahash = {5597a0ec7af786e3d4ca0f4e7c166db3}, isbn = {3-540-54092-X}, keywords = {dblp}, pages = {227-250}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:00:06.000+0200}, title = {Design Assessment of Ada Systems Using Static Analysis.}, url = {http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope1991.html#DelisT91}, volume = 499, year = 1991 }