| | |
@article{DBLP:journals/tapos/LampingA95,
author = {John Lamping and
Mart\'{\i}n Abadi},
title = {Methods as Assertions},
journal = {TAPOS},
volume = {1},
number = {1},
year = {1995},
pages = {5-18},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-09-20 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page