%0 Conference Paper %1 conf/larch/Tan92 %A Tan, Yang Meng %B Larch %D 1992 %E Martin, Ursula %E Wing, Jeannette M. %I Springer %K dblp %P 246-261 %T Semantic analysis of Larch Interface Specifications. %U http://dblp.uni-trier.de/db/conf/larch/larch1992.html#Tan92 %@ 3-540-19804-0

@inproceedings{conf/larch/Tan92, added-at = {2003-02-20T00:00:00.000+0100}, author = {Tan, Yang Meng}, biburl = {https://www.bibsonomy.org/bibtex/25050d7a76e364746912b33a8a9da1a70/dblp}, booktitle = {Larch}, crossref = {conf/larch/1992}, date = {2003-02-20}, description = {dblp}, editor = {Martin, Ursula and Wing, Jeannette M.}, interhash = {c58b8f4b1fa04f991d908cc6789413e9}, intrahash = {5050d7a76e364746912b33a8a9da1a70}, isbn = {3-540-19804-0}, keywords = {dblp}, pages = {246-261}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2003-02-20T00:00:00.000+0100}, title = {Semantic analysis of Larch Interface Specifications.}, url = {http://dblp.uni-trier.de/db/conf/larch/larch1992.html#Tan92}, year = 1992 }