A contraction of the principal series by Berezin-Weyl quantization
- 期刊名称Rocky Mountain Journal of Mathematics
- 作者Cahen, Benjamin
- 卷第43卷
- 期第2期
- 印刷ISSN0035-7596
- 文件大小226.87KB
- 发表时间2013-04
- DOI10.1216/RMJ-2013-43-2-417
- 页码417-441
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