%0 Conference Paper %1 conf/forte/PeledQ03 %A Peled, Doron A. %A Qu, Hongyang %B FORTE %D 2003 %E König, Hartmut %E Heiner, Monika %E Wolisz, Adam %I Springer %K %P 127-143 %T Automatic Verification of Annotated Code. %U http://dblp.uni-trier.de/db/conf/forte/forte2003.html#PeledQ03 %V 2767 %@ 3-540-20175-0

@inproceedings{conf/forte/PeledQ03, added-at = {2023-12-13T01:05:21.000+0100}, author = {Peled, Doron A. and Qu, Hongyang}, biburl = {https://www.bibsonomy.org/bibtex/29ed5b74141b3a544b722dcab2652d796/admin}, booktitle = {FORTE}, crossref = {conf/forte/2003}, editor = {König, Hartmut and Heiner, Monika and Wolisz, Adam}, ee = {https://doi.org/10.1007/978-3-540-39979-7_9}, interhash = {6ca603a1376af20cd8b48d6321a71901}, intrahash = {9ed5b74141b3a544b722dcab2652d796}, isbn = {3-540-20175-0}, keywords = {}, pages = {127-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:05:21.000+0100}, title = {Automatic Verification of Annotated Code.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2003.html#PeledQ03}, volume = 2767, year = 2003 }