Proving loop programs
- 期刊名称IEEE Transactions on Software Engineering
- 作者Basu, Sanat K.; Misra, Jayadev
- 期第1期
- 印刷ISSN0098-5589
- 文件大小1036.18KB
- 发表时间1975-03
- DOI10.1109/tse.1975.6312822
- 页码76-86
EditorialJournal of Environmental Science and Health . Part A: Environmental Science and Engineering and Toxicology · 1991
[untitled]Review by: A. J. Miller · Canadian Journal of Political Science / Revue canadienne de science politique · 1979
Canadian Tariff PolicyClarence L. Barber · The Canadian Journal of Economics and Political Science / Revue canadienne d'Economique et de Science politique · 1955
[untitled]Review by: Jeremy Paltiel · Canadian Journal of Political Science / Revue canadienne de science politique · 1990
The Politics of Electoral SystemsTremblay, Manon · Canadian Journal of Political Science/Revue canadienne de science politique · 2007
Political Narratives and Political RealityShenhav, S. R. · International Political Science Review/ Revue internationale de science politique · 2006
Books ReceivedThe Canadian Journal of Economics and Political Science / Revue canadienne d'Economique et de Science politique · 1966
Volume InformationThe Canadian Journal of Economics and Political Science / Revue canadienne d'Economique et de Science politique · 1967