The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (2010 vol. 36)
ISSN: 0098-5589
pp: 305
INDEX TERMS
CITATION
Bashar Nuseibeh, "In Memoriam: Robin Milner and Amir Pnueli", IEEE Transactions on Software Engineering, vol. 36, no. , pp. 305, May/June 2010, doi:10.1109/TSE.2010.57
783 ms
(Ver 3.1 (10032016))