Inproceedings,
Formal Techniques for OO Software Development (Panel).
D. de Champeaux, P. America, D. Coleman, R. Duke, D. Lea, G. Leavens, and F. Hayes.OOPSLA, page 166-170. ACM, (1991)SIGPLAN Notices 26(11).
Meta data
- BibTeX key
- conf/oopsla/ChampeauxACDLLH91
- entry type
- inproceedings
- booktitle
- OOPSLA
- year
- 1991
- pages
- 166-170
- publisher
- ACM
- crossref
- conf/oopsla/1991
- ee
- https://doi.org/10.1145/118014.117967
- isbn
- 0-201-55417-8
- url
- http://dblp.uni-trier.de/db/conf/oopsla/oopsla91.html#ChampeauxACDLLH91
- note
- SIGPLAN Notices 26(11)
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/oopsla/ChampeauxACDLLH91
%A de Champeaux, Dennis
%A America, Pierre
%A Coleman, Derek
%A Duke, Roger
%A Lea, Doug
%A Leavens, Gary T.
%A Hayes, Fiona
%B OOPSLA
%D 1991
%E Paepcke, Andreas
%I ACM
%K dblp
%P 166-170
%T Formal Techniques for OO Software Development (Panel).
%U http://dblp.uni-trier.de/db/conf/oopsla/oopsla91.html#ChampeauxACDLLH91
%@ 0-201-55417-8
@inproceedings{conf/oopsla/ChampeauxACDLLH91,
added-at = {2021-07-09T00:00:00.000+0200},
author = {de Champeaux, Dennis and America, Pierre and Coleman, Derek and Duke, Roger and Lea, Doug and Leavens, Gary T. and Hayes, Fiona},
biburl = {https://www.bibsonomy.org/bibtex/2bc478938a964a27b7e936776b56f149c/dblp},
booktitle = {OOPSLA},
crossref = {conf/oopsla/1991},
editor = {Paepcke, Andreas},
ee = {https://doi.org/10.1145/118014.117967},
interhash = {22891e00836aa45546ea78f6c61bc009},
intrahash = {bc478938a964a27b7e936776b56f149c},
isbn = {0-201-55417-8},
keywords = {dblp},
note = {SIGPLAN Notices 26(11)},
pages = {166-170},
publisher = {ACM},
timestamp = {2024-04-09T11:42:47.000+0200},
title = {Formal Techniques for OO Software Development (Panel).},
url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla91.html#ChampeauxACDLLH91},
year = 1991
}