%0 Journal Article %1 journals/fac/BoudrigaEM92 %A Boudriga, Noureddine %A Elloumi, Fathi %A Mili, Ali %D 1992 %J Formal Aspects Comput. %K dblp %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 = {2024-01-31T00:00:00.000+0100}, author = {Boudriga, Noureddine and Elloumi, Fathi and Mili, Ali}, biburl = {https://www.bibsonomy.org/bibtex/266a2575dc9490e8278eb6caff779affc/dblp}, ee = {https://doi.org/10.1007/BF01211474}, interhash = {685d6edec66ee8d09666ac252e3cdaef}, intrahash = {66a2575dc9490e8278eb6caff779affc}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 6, pages = {544-571}, timestamp = {2024-04-09T05:37:30.000+0200}, 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 }