%0 Journal Article %1 256095 %C Secaucus, NJ, USA %D 1996 %E Broy, Manfred %I Springer-Verlag New York, Inc. %K proof %T Proceedings of the NATO Advanced Study Institute on Deductive program design %U http://portal.acm.org/citation.cfm?id=256095# %@ 3-540-60947-4

@article{256095, added-at = {2010-02-05T16:33:52.000+0100}, address = {Secaucus, NJ, USA}, biburl = {https://www.bibsonomy.org/bibtex/255c4e4ad7511dfe632c7415d6474f268/giuliano.losa}, description = {Proceedings of the NATO Advanced Study Institute on Deductive program design}, editor = {Broy, Manfred}, interhash = {e0151f1b2d5d5dcd9ba10671647fe402}, intrahash = {55c4e4ad7511dfe632c7415d6474f268}, isbn = {3-540-60947-4}, keywords = {proof}, location = {Marktoberdorf, Germany}, publisher = {Springer-Verlag New York, Inc.}, timestamp = {2010-02-05T16:33:52.000+0100}, title = {Proceedings of the NATO Advanced Study Institute on Deductive program design}, url = {http://portal.acm.org/citation.cfm?id=256095#}, year = 1996 }