%0 Conference Paper %1 conf/compsac/ChangKH99 %A Chang, Kuangnan %A Kung, David Chenho %A Hsia, Pei %B COMPSAC %D 1999 %I IEEE Computer Society %K dblp %P 450-455 %T OBL: A Formal Deduction Method for Object-Oriented Systems. %U http://dblp.uni-trier.de/db/conf/compsac/compsac1999.html#ChangKH99 %@ 0-7695-0368-3

@inproceedings{conf/compsac/ChangKH99, added-at = {2023-03-24T00:00:00.000+0100}, author = {Chang, Kuangnan and Kung, David Chenho and Hsia, Pei}, biburl = {https://www.bibsonomy.org/bibtex/2c81267802a5b12a3ecc607dbed2a3350/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/1999}, ee = {https://doi.ieeecomputersociety.org/10.1109/CMPSAC.1999.814325}, interhash = {e59b40a3c1f2cf3d2f2be881ca48c77d}, intrahash = {c81267802a5b12a3ecc607dbed2a3350}, isbn = {0-7695-0368-3}, keywords = {dblp}, pages = {450-455}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:28:27.000+0200}, title = {OBL: A Formal Deduction Method for Object-Oriented Systems.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1999.html#ChangKH99}, year = 1999 }