Filomena Ferrucci, Giancarlo Nota, Giuliano Pacini, Sergio Orefice, Genny Tortora. On the Refinement of Logic Specifications. International Journal of Software Engineering and Knowledge Engineering, 2(3):433-448, 1992. [doi]
@article{FerrucciNPOT92, title = {On the Refinement of Logic Specifications}, author = {Filomena Ferrucci and Giancarlo Nota and Giuliano Pacini and Sergio Orefice and Genny Tortora}, year = {1992}, doi = {10.1142/S0218194092000208}, url = {http://dx.doi.org/10.1142/S0218194092000208}, tags = {refinement, logic}, researchr = {https://researchr.org/publication/FerrucciNPOT92}, cites = {0}, citedby = {0}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {2}, number = {3}, pages = {433-448}, }