<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/orm/LamandeH94" mdate="2002-02-21">
<author>H. Lamande</author>
<author>Henri Habrias</author>
<title>Towards a Joint Use of NIAM, JSD and Z Methods.</title>
<pages>167-191</pages>
<year>1994</year>
<crossref>conf/orm/1994</crossref>
<booktitle>ORM</booktitle>
<url>db/conf/orm/orm1994.html#LamandeH84</url>
</inproceedings>
</dblp>
