%0 Conference Paper %1 conf/ds/Dubois88 %A Dubois, Eric %B DS-3 %D 1988 %E Meersman, Robert %E Shi, Zhongzhi %E Kung, Chenho %I North-Holland %K dblp %P 79-98 %T Logical Support for Reasoning about the Specification and the Elaboration of Requirements. %U http://dblp.uni-trier.de/db/conf/ds/ds88.html#Dubois88 %@ 0-444-88645-1

@inproceedings{conf/ds/Dubois88, added-at = {2017-04-28T00:00:00.000+0200}, author = {Dubois, Eric}, biburl = {https://www.bibsonomy.org/bibtex/2148a37727baa6a4ca9bc47327c9d9e1b/dblp}, booktitle = {DS-3}, crossref = {conf/ds/1988}, editor = {Meersman, Robert and Shi, Zhongzhi and Kung, Chenho}, interhash = {373d5aafefc4e72f39420c9ce4293dba}, intrahash = {148a37727baa6a4ca9bc47327c9d9e1b}, isbn = {0-444-88645-1}, keywords = {dblp}, pages = {79-98}, publisher = {North-Holland}, timestamp = {2017-04-29T11:37:25.000+0200}, title = {Logical Support for Reasoning about the Specification and the Elaboration of Requirements.}, url = {http://dblp.uni-trier.de/db/conf/ds/ds88.html#Dubois88}, year = 1988 }