Luqi, Joseph A. Goguen. Suggestions for progress in software analysis, synthesis and certification. In SEKE 94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia. pages 501-507, Knowledge Systems Institute, 1994.
@inproceedings{LuqiG94, title = {Suggestions for progress in software analysis, synthesis and certification}, author = {Luqi and Joseph A. Goguen}, year = {1994}, tags = {analysis, certification}, researchr = {https://researchr.org/publication/LuqiG94}, cites = {0}, citedby = {0}, pages = {501-507}, booktitle = {SEKE 94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia}, publisher = {Knowledge Systems Institute}, }