Homomorphisms on connected topological lattices
- 期刊名称Duke Mathematical Journal
- 作者Shirley, E. D.; Stralka, A. R.
- 卷第38卷
- 期第3期
- 印刷ISSN0012-7094
- 文件大小980.58KB
- 发表时间1971-09
- DOI10.1215/S0012-7094-71-03857-9
- 页码483-490
Proving loop programsBasu, Sanat K.; Misra, Jayadev · IEEE Transactions on Software Engineering · 1975
Whole Test Suite GenerationFraser, Gordon; Arcuri, Andrea · IEEE Transactions on Software Engineering · 2013
Experimentation in software engineeringBasili, Victor R.; Selby, Richard W.; Hutchens, David H. · IEEE Transactions on Software Engineering · 1986
Object-oriented developmentBooch, Grady · IEEE Transactions on Software Engineering · 1986
The source code control systemRochkind, Marc J. · IEEE Transactions on Software Engineering · 1975
Language design for programming reliabilityGannon, John D.; Horning, J. J. · IEEE Transactions on Software Engineering · 1975
Precise Calling Context EncodingSumner, William N.; Zheng, Yunhui; Weeratunge, Dasarath; Zhang, Xiangyu · IEEE Transactions on Software Engineering · 2012
Efficient decentralized consensus protocolsLakshman, T. V.; Agrawala, Ashok K. · IEEE Transactions on Software Engineering · 1986