%0 Journal Article %1 journals/fac/BoudrigaEM92 %A Boudriga, Noureddine %A Elloumi, Fathi %A Mili, Ali %D 1992 %J Formal Asp. Comput. %K %N 6 %P 544-571 %T On the Lattice of Specifications: Applications to a Specification Methodology. %U http://dblp.uni-trier.de/db/journals/fac/fac4.html#BoudrigaEM92 %V 4

@article{journals/fac/BoudrigaEM92, added-at = {2023-12-13T00:47:11.000+0100}, author = {Boudriga, Noureddine and Elloumi, Fathi and Mili, Ali}, biburl = {https://www.bibsonomy.org/bibtex/27700da100510a740f4ecf705d7d8a51e/admin}, ee = {http://dx.doi.org/10.1007/BF01211474}, interhash = {685d6edec66ee8d09666ac252e3cdaef}, intrahash = {7700da100510a740f4ecf705d7d8a51e}, journal = {Formal Asp. Comput.}, keywords = {}, number = 6, pages = {544-571}, timestamp = {2023-12-13T00:47:11.000+0100}, title = {On the Lattice of Specifications: Applications to a Specification Methodology.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac4.html#BoudrigaEM92}, volume = 4, year = 1992 }