المؤلفون: Alur, R., Brayton, R. K., Henzinger, T. A., Qadeer, S., Rajamani, S. K.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 340-351 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540631668 9783540691952

الاتاحة: http://dx.doi.org/10.1007/3-540-63166-6_34
http://link.springer.com/content/pdf/10.1007/3-540-63166-6_34.pdf

المؤلفون: Beckert B., Hahnle R., Smith D. R., Green C., Ranise S., Tinelli C., Ball T., Rajamani S. K., Hoare T.

المساهمون: Beckert, B., Hahnle, R., Smith, D. R., Green, C., Ranise, S., Tinelli, C., Ball, T., Rajamani, S. K., Hoare, T.

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000242611700013; volume:21; issue:6; firstpage:71; lastpage:81; numberofpages:11; journal:IEEE INTELLIGENT SYSTEMS; http://hdl.handle.net/11572/333304; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33845581982

الاتاحة: http://hdl.handle.net/11572/333304
https://doi.org/10.1109/MIS.2006.117

المؤلفون: Beckman, N E, Nori, A V, Rajamani, S K, Simmons, R J, Tetali, S D, Thakur, A V

المصدر: IEEE Transactions on Software Engineering ; volume 36, issue 4, page 495-508 ; ISSN 0098-5589

الاتاحة: http://dx.doi.org/10.1109/tse.2010.49
http://xplorestaging.ieee.org/ielx5/32/5532334/05444886.pdf?arnumber=5444886

المؤلفون: Alur, R., Henzinger, T. A., Mang, F. Y. C., Qadeer, S., Rajamani, S. K., Tasiran, S.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 521-525 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540646082 9783540693390

الاتاحة: http://dx.doi.org/10.1007/bfb0028774
http://link.springer.com/content/pdf/10.1007/BFb0028774

المؤلفون: Lange, Julien, Tuosto, Emilio, Yoshida, Nobuko

المساهمون: Rajamani, S. K., Walker, D.

Relation: http://www.cs.le.ac.uk/people/et52/; POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 221-232; http://dl.acm.org/citation.cfm?doid=2676726.2676964; http://hdl.handle.net/2381/31932

الاتاحة: http://dl.acm.org/citation.cfm?doid=2676726.2676964
http://hdl.handle.net/2381/31932
https://doi.org/10.1145/2676726.2676964